加载中…
In this paper we study , i.e. the positive fragment of Łukasiewicz Multi-Valued Logic . In particular we describe all the finitary extensions of that are structurally complete and all the axiomatic extensions of that are hereditarily structurally complete. Examples of hereditarily structurally complete finitary extensions and non hereditarily structurally complete finitary extensions are provided.

生成讲解博客的中文版本

生成AI智能校验的中文版本