摘要

可以将关系符号和术语的机制添加到命题模态逻辑中,而无需添加量词。通常,这并不是命题之外的延伸。但是,如果允许术语是非刚性的,则还必须引入作用域机制(通常使用lambda抽象编写)以避免歧义。由于量词不存在,这并不是一个真正的一阶逻辑,但也不完全是命题逻辑。对于命题逻辑,例如K、 T型D类,添加这样的机制会产生可判定的逻辑,但添加到第5章产生一个不可判定的。此外,如果语言中有一个等式符号,并由等式关系解释,则逻辑来自K4公司第5章产生无法判定的版本。(因此及物性是这里的反面角色。)不可判定性的证明在于,经典的一阶逻辑可以嵌入。

您当前没有访问此文章的权限。