Lukasiewicz逻辑的完备性证明
摘要：对于卢卡谢维奇和塔斯基在1930年引入的无穷值命题卢卡谢维奇逻辑的完备性，本文给出了一种新的证明方法。我们的方法使用了一个基于最大一致扩展的希尔伯特风格证明，与经典逻辑不同，在这个背景下，最大扩展不要求包括所有公式或其否定。为了说明这一点，我们提供了一些这样的公式的例子。
作者：Doratossadat Dastgheib, Hadi Farahani
论文ID：2308.01623
分类：Logic
分类简称：math.LO
提交时间：2023-08-29