马丁·洛夫（Martin-Löf，Per） 关于逻辑常数的含义和逻辑定律的合理性。 （英语） Zbl 0885.03009号 诺德·J·菲洛斯。日志。 第1期，第11-60页（1996年）。 该论文包含作者在1983年于锡耶纳组织的Teoria della Dimostrazione e Filosofia della Logica会议上发表的三次演讲[见Atti degli incori di Logica matematica，Vol.2，Siena/Italia 1983/84203–281（1985；Zbl 0593.03005号)]. 讨论了逻辑推理规则和逻辑连接词之间关系的基本哲学方面，包括逻辑推理的证明问题。审核人：博里奇奇（贝尔格莱德） 引用于1审查引用于44文件 MSC公司： 03A05号 逻辑和基础的哲学和批判性方面 关键词：逻辑推理规则；逻辑连词；逻辑推理的证明 引文：Zbl 0593.03005号 PDF格式BibTeX公司 XML格式引用 \textit{P.Martin-Löf}，Nord.J.Philos（北J.菲洛斯）。日志。1，编号1，11--60（1996；Zbl 0885.03009）