我们可以使用链接到您的Project Euclid帐户的电子邮件地址帮助您重置密码。
我们现在 ∈ 我 -逻辑(Epsilon-I-Logic),一种非弗雷琴直觉主义逻辑,以真谓词和假谓词作为直觉主义否定。 ∈ 我 是经典逻辑的扩展和直观概括 ∈ T型 (没有量词)由斯特拉特设计为一个命题自我参照的真理理论。的内涵语义 ∈ T型 为语义悖论提供了一种新的解决方案。在本文中,我们介绍了一个直觉主义的语义学,并在这个更广泛的背景下研究一些语义概念。此外,我们还通过新的连接词<丰富了无量词语言,该连接词表示语句之间的引用,并对内涵模型进行了更精细的描述。我们在直觉主义背景下的结果导致了句子外延概念和在此提出的概念之间的明显区别句子的引申(这两个概念在经典上下文中是等价的)。我们概括了弗雷琴公理在中无效的直观版本 ∈ 我 本文的主要结果是开发了几个模型结构。我们构建了内涵模型,并提出了一种构建标准模型的方法,其中包含特定的(自)指称命题。
斯特芬·莱维茨卡(Steffen Lewitzka)。 " ∈ 我 :一种直觉主义逻辑,没有弗雷根公理,有真假谓词。" 圣母院J.形式逻辑 50 (3) 275 - 301, 2009 https://doi.org/10.1215/00294527-2009-012