Equational type characterization for -complete MV-algebras.

DOI10.1007/S00012-013-0220-9zbMATH Open1322.06009OpenAlexW1975163229MaRDI QIDQ353357FDOQ353357

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Tensor products and the Loomis-Sikorski theorem for MV-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The σ-complete MV-algebras which have enough states
• Title not available (Why is that?)
• An algebraic approach to propositional fuzzy logic
• Title not available (Why is that?)
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nontrivial 𝔪-injective Boolean algebras do not exist
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the representation of 𝜎-complete Boolean algebras
• Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
• Product Łukasiewicz logic

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)