.png){kind=icon}
返回
A Note on Fixed Points in Łukasiewicz Logic
.png){kind=icon}
PRE
AI
DOI：10.1007/s11787-025-00395-1.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In both mathematical and philosophical logic, one of the most well-known and well-studied non-classical, many-valued logics is & Lstrok;ukasiewicz logic. In this paper, we extend infinite-valued & Lstrok;ukasiewicz logic with fixed-point operators and present a natural axiomatisation. Metalogical results such as soundness and completeness are proved for this logic.
Keyword:
Many-valued
Periodicity
Axiomatisation
Soundness and completeness
Reverse mathematics
期刊
L
IF:
0.5
论文数:
27
被引数:
0
.png){kind=icon}
查看更多内容