Structurally complete finitary extensions of positive ukasiewicz logic
Abstract
In this paper we study MV+, i.e. the positive fragment of ukasiewicz Multi-Valued Logic MV. In particular we describe all the finitary extensions of MV+ that are structurally complete and all the axiomatic extensions of MV+ that are hereditarily structurally complete. Examples of hereditarily structurally complete finitary extensions and non hereditarily structurally complete finitary extensions are provided.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.