Independence of the axiomatic system for MV-algebras

DOI10.2478/s12175-012-0076-zzbMath1313.06017OpenAlexW2019261690MaRDI QIDQ4905680

Miroslav Kolařík

Publication date: 19 February 2013

Published in: Mathematica Slovaca (Search for Journal in Brave)

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

zbMATH Keywords

MV-algebrasindependent axiom systems

Mathematics Subject Classification ID

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

Related Items (15)

Priestley duality for MV-algebras and beyond ⋮ Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups ⋮ On varieties of basic algebras ⋮ Are locally finite MV-algebras a variety? ⋮ Perfect Pavelka logic ⋮ Unnamed Item ⋮ Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions ⋮ Rota's Fubini lectures: the first problem ⋮ An independent set of axioms of MV-algebras and solutions of the set-theoretical Yang-Baxter equation ⋮ Unnamed Item ⋮ Beth definability and the Stone-Weierstrass theorem ⋮ Topological characterization of filter topological MV-algebras ⋮ Unnamed Item ⋮ AF-algebras with lattice-ordered \(K_0\): logic and computation ⋮ A note on minimal axiomatisations of some extensions of MTL

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