Equational type characterization for -complete MV-algebras.

DOI10.1007/S00012-013-0220-9MaRDI QIDQ353357zbMATH OpenOpenAlexFDO

Authors H. 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)

Recommendations

• The σ-complete MV-algebras which have enough states
• Complete generators and maximal completions of MV-algebras
• Semi-simple and complete MV-algebras
• Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups
• scientific article; zbMATH DE number 1455805

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3165611 (Why is no real title available?)
• scientific article; zbMATH DE number 1522653 (Why is no real title available?)
• scientific article; zbMATH DE number 1775509 (Why is no real title available?)
• scientific article; zbMATH DE number 1857857 (Why is no real title available?)
• scientific article; zbMATH DE number 764333 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• scientific article; zbMATH DE number 1455805 (Why is no real title available?)
• scientific article; zbMATH DE number 3285279 (Why is no real title available?)
• scientific article; zbMATH DE number 3185026 (Why is no real title available?)
• scientific article; zbMATH DE number 3198867 (Why is no real title available?)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• An algebraic approach to propositional fuzzy logic
• Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
• Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic
• Metamathematics of fuzzy logic
• Nontrivial 𝔪-injective Boolean algebras do not exist
• On the representation of 𝜎-complete Boolean algebras
• Product Łukasiewicz logic
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• Tensor products and the Loomis-Sikorski theorem for MV-algebras
• The σ-complete MV-algebras which have enough states

Cited in

(6)

• Logical consequence and the paradoxes
• On epicomplete MV-algebras
• Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups
• Locally \(\sigma \)-complete and locally complete EMV-algebras
• An equational theory for \(\sigma \)-complete orthomodular lattices
• Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q353357)