Equational type characterization for \(\sigma\)-complete MV-algebras.

DOI10.1007/s00012-013-0220-9zbMath1322.06009OpenAlexW1975163229MaRDI QIDQ353357

Hector Freytes

Publication date: 12 July 2013

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-013-0220-9

zbMATH Keywords

\(\sigma\)-complete MV-algebrasequational completeness

Mathematics Subject Classification ID

MV-algebras (06D35) Infinitary algebras (08A65)

Related Items (2)

Locally \(\sigma \)-complete and locally complete EMV-algebras ⋮ Logical consequence and the paradoxes

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
• Product Łukasiewicz logic
• Tensor products and the Loomis-Sikorski theorem for MV-algebras
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• An algebraic approach to propositional fuzzy logic
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• Nontrivial 𝔪-injective Boolean algebras do not exist
• The σ-complete MV-algebras which have enough states
• On the representation of 𝜎-complete Boolean algebras
• Functorial representation theorems for MV\(_\Delta\) algebras with additional operators

This page was built for publication: Equational type characterization for \(\sigma\)-complete MV-algebras.