Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi
From MaRDI portal
Publication:1205168
DOI10.1007/BF01212438zbMath0786.03048WikidataQ114234008 ScholiaQ114234008MaRDI QIDQ1205168
Publication date: 1 April 1993
Published in: Algebra Universalis (Search for Journal in Brave)
deductive systemimplicative filterprime filterinjective Wajsberg algebraslogical aspects of Wajsberg algebrasSikorski Extension Theorem
Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Related Items (7)
A note on injectivity and Boolean products ⋮ Hahn-Banach theorems for MV-algebras ⋮ A Note on Representing and Interpreting MV-Algebras ⋮ Paraconsistent semantics for Pavelka style fuzzy sentential logic ⋮ A Para Consistent Fuzzy Logic ⋮ Rules of inference in fuzzy sentential logic ⋮ Two Consistent Many-Valued Logics for Paraconsistent Phenomena
Cites Work
- Unnamed Item
- Unnamed Item
- The Priestley duality for Wajsberg algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- W-algebras which are Boolean products of members of SR[1 and CW- algebras]
- Birkhoff's representation theorem is equivalent to the axiom of choice
- Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
- Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
- Some propositions equivalent to the Sikorski Extension Theorem for Boolean algebras
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Representation of Łukasiewicz and Post algebras by continuous functions
This page was built for publication: Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi