中文

亚里士多德必然性三段论学的完全形式化

逻辑 2007-05-23 v1

摘要

我们给出了亚里士多德在其分析学中发展的模态逻辑的一个完全且一致的形式解释。

关键词

引用

@article{arxiv.math/0209372,
  title  = {Eine vollstaendige Formalisierung der Aristotelischen Notwendigkeitssyllogistik},
  author = {Holger Brenner},
  journal= {arXiv preprint arXiv:math/0209372},
  year   = {2007}
}