Geometrical methods in Wajsberg hoops
From MaRDI portal
Publication:1858223
DOI10.1016/S0021-8693(02)00085-6zbMath1025.06014OpenAlexW2041068682MaRDI QIDQ1858223
Publication date: 12 February 2003
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0021-8693(02)00085-6
MV-algebrasvarietiesfree algebrasaxiomatizationWajsberg hoopsWajsberg algebrasresiduated monoidcombs
Related Items (15)
Locally \(\sigma \)-complete and locally complete EMV-algebras ⋮ MV-closures of Wajsberg hoops and applications ⋮ Varieties of K-lattices ⋮ Varieties of bounded K-lattices ⋮ Varieties of BL-algebras. I, revisited ⋮ The free \(n\)-generated BL-algebra ⋮ Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components ⋮ Free Łukasiewicz implication algebras ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Varieties of BL-algebras. II ⋮ Generic substitutions ⋮ Almost minimal varieties of commutative residuated lattices ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ A variety containing EMV-algebras and Pierce sheaves of EMV-algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Equationally complete classes of commutative monoids with monus
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- Triangular norm-based measures and their Markov kernel representation
- Groupes et anneaux reticules
- Metamathematics of fuzzy logic
- On the structure of varieties with equationally definable principal congruences. III
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Algebraic foundations of many-valued reasoning
- On the structure of hoops
- On triangular norm-based propositional fuzzy logics
- Equational characterization of all varieties of MV-algebras
- Algebraic Analysis of Many Valued Logics
- Super-Łukasiewicz propositional logics
- Super-Łukasiewicz implicational logics
- A constructive proof of McNaughton's theorem in infinite-valued logic
- Varieties of MV-algebras
- A geometric proof of the completeness of the Łukasiewicz calculus
- Axiomatization of the infinite-valued predicate calculus
- Algebras Whose Congruence Lattices are Distributive.
- Komplementäre Halbgruppen. Axiomatik und Arithmetik
- Residuated Lattices
- A theorem about infinite-valued sentential logic
This page was built for publication: Geometrical methods in Wajsberg hoops
