Structurally complete finitary extensions of positive \L ukasiewicz logic

arXiv (Cornell University)(2023)

引用 0|浏览0
暂无评分
摘要
In this paper we study $\mathcal{MV}^+$, i.e. the positive fragment of {\L}ukasiewicz Multi-Valued Logic $\mathcal{MV}$. In particular we describe all the finitary extensions of $\mathcal{MV}^+$ that are structurally complete and all the axiomatic extensions of $\mathcal{MV}^+$ that are hereditarily structurally complete. Examples of hereditarily structurally complete finitary extensions and non hereditarily structurally complete finitary extensions are provided.
更多
查看译文
关键词
complete finitary extensions,logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要