摘要
建议
一些直觉超协调逻辑中的对偶性 ICAART 2016:第八届代理与人工智能国际会议记录 构造(或直觉)逻辑中的对偶性是一个重要的基本属性,因为 给定的构造逻辑可以反驳或篡改以下信息或知识: 由给定逻辑描述。 在…中。。。 语义封闭的直觉抽象逻辑 阿尔弗雷德·塔斯基(Alfred Tarski)称,如果一种语言包含自己的真值谓词和(自我)引用的技术手段,那么它就是语义封闭的。 我们考虑语义封闭的非Fregean逻辑∈ 我 ,发表于(Lewitzka,2009, 圣母院杂志。。。