Routley Star and Hyperintensionality
Routley Star and Hyperintensionality
复制标题
鲁特利星和超内涵性
DOI：
10.1007/s10992-020-09558-5
复制
发表时间：
2020
影响因子：
1.5
通讯作者：
Heinrich Wansing
中科院分区：
文献类型：
--
作者：
Sergei P. Odintsov;Heinrich Wansing
我们比较了 H. Leitgeb 最近提出的作为处理超内涵上下文的基本命题逻辑的逻辑 HYPE 和在研究带有否定的逻辑程序的有根据语义的逻辑方面过程中引入的 Heyting-Ockham 逻辑。 Heyting-Ockham 逻辑的语义利用了所谓的 Routley 星否定。展示了如何从 Dimiter Vakarelov 的否定理论中得到 Routley 星否定，并且命题 HYPE 与所有内合 Routley 星信息框架类所表征的逻辑相一致。这一结果为 HYPE 提供了一个大大简化的语义，也提供了一个简化的公理化，这表明 HYPE 与 G. Moisil 于 1942 年引入的模态对称命题演算是相同的。此外，它表明 HYPE 可以忠实地嵌入到基于经典逻辑的正常双模态逻辑中。在此背景下，我们讨论超内涵性的概念。
We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the class of all involutive Routley star information frames. This result provides a much simplified semantics for HYPE and also a simplified axiomatization, which shows that HYPE is identical with the modal symmetric propositional calculus introduced by G. Moisil in 1942. Moreover, it is shown that HYPE can be faithfully embedded into a normal bi-modal logic based on classical logic. Against this background, we discuss the notion of hyperintensionality.
登录
查看更多内容
超内涵逻辑
DOI：
--
发表时间：
1975
期刊：
影响因子：
--
作者：
M. Cresswell
通讯作者：
M. Cresswell
关于 Heyting symétriques 的代数
DOI：
--
发表时间：
1980
期刊：
影响因子：
--
作者：
A. Monteiro
通讯作者：
A. Monteiro
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
H. Wansing;S. Odintsov
通讯作者：
S. Odintsov
DOI：
--
发表时间：
2015
期刊：
Studia Logica: An International Journal for Symbolic Logic
影响因子：
--
作者：
S. Odintsov;H. Wansing
通讯作者：
H. Wansing
具有双格自同态的 Heyting 代数
影响因子：
0.3
作者：
H. P. Sankappanavar
通讯作者：
H. P. Sankappanavar