.png){kind=icon}
返回
A Completeness Theorem for a Functionally Complete Łukasiewicz Logic
.png){kind=icon}
PRE
AI
DOI：10.12775/llp.2026.010.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
我们提出了一种新的公理化方法，用于一个真值函数完备的& Lstrok;3版本，这是一种三值命题逻辑，使用两个命题常量和& Lstrok;ukasiewicz蕴涵作为原始符号。我们开发了一个相应的证明系统，该系统包含& Lstrok;ukasiewicz的公理、S & lstrok;upecki关于0元连接词的公设的一个变体以及Baaz delta运算的一些性质。通过使用弱化的演绎定理，并将Henkin方法适应于这一三值设置，我们证明了该系统的完备性定理。
Keyword:
many-valued logics
three-valued logics
propositional logic
non-classical logics
