Independence of the axiomatic system for MV-algebras.

DOI10.2478/S12175-012-0076-ZMaRDI QIDQ4905680zbMATH OpenOpenAlexFDO

Authors Miroslav Kolařík

Publication date 19 February 2013

Published in Mathematica Slovaca (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.2478/s12175-012-0076-z

zbMATH Keywords

independent axiom systemsMV-algebras

Mathematics Subject Classification ID

Many-valued logic (03B50) Other algebras related to logic (03G25) MV-algebras (06D35)

Recommendations

• scientific article; zbMATH DE number 1453813
• An independent axiomatization of quantum MV algebras
• An independent set of axioms of MV-algebras and solutions of the set-theoretical Yang-Baxter equation
• Independence of axiom system of basic algebras
• On the independence of axioms in BL and MTL

Cited in

(26)

• Perfect Pavelka logic
• On the independence of axioms in BL and MTL
• Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions
• Rota's Fubini lectures: the first problem
• Beth definability and the Stone-Weierstrass theorem
• Topological characterization of filter topological MV-algebras
• AF-algebras with lattice-ordered \(K_0\): logic and computation
• Priestley duality for MV-algebras and beyond
• An independent set of axioms of MV-algebras and solutions of the set-theoretical Yang-Baxter equation
• A note on minimal axiomatisations of some extensions of MTL
• Independence of axiom system of basic algebras
• Are locally finite MV-algebras a variety?
• Independent axiom systems for nearlattices
• scientific article; zbMATH DE number 2129917 (Why is no real title available?)
• Idempotent endomorphisms of free MV-algebras and unital -groups
• On varieties of basic algebras
• scientific article; zbMATH DE number 1910800 (Why is no real title available?)
• scientific article; zbMATH DE number 1453813 (Why is no real title available?)
• Hyper commutative basic algebras, hyper MV-algebras, and states
• Absolute summability factors for Cesàro and Riesz means
• The logic of lattice effect algebras based on induced groupoids
• From Specker -groups to Boolean algebras via
• Spectral MV-algebras and equispectrality
• Ulam-Rényi games, MV-algebras, Specker -groups
• A generalization of prime ideals in MV-algebras
• Study of MV-algebras in view of R-ideals and 2R-ideals

This page was built for publication: Independence of the axiomatic system for MV-algebras.

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