MV-algebras: a variety for magnitudes with archimedean units
From MaRDI portal
Publication:2577712
DOI10.1007/s00012-005-1905-5zbMath1093.06010OpenAlexW2074187880MaRDI QIDQ2577712
Daniele Mundici, Joan Gispert i Brasó
Publication date: 6 January 2006
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-005-1905-5
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Related Items
Commutative \(L\)-algebras and measure theory ⋮ Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras ⋮ \(L\)-algebras and three main non-classical logics ⋮ Finitely generated varieties of distributive effect algebras ⋮ Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations ⋮ On non-associative generalizations of MV-algebras and lattice-ordered commutative loops ⋮ The geometry of discrete \(L\)-algebras ⋮ Least \(V\)-quasivarieties of MV-algebras ⋮ Separable MV-algebras and lattice-ordered groups ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Unnamed Item ⋮ Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras ⋮ Propositional dynamic logic for searching games with errors ⋮ SEMIDIRECT PRODUCTS IN ALGEBRAIC LOGIC AND SOLUTIONS OF THE QUANTUM YANG–BAXTER EQUATION ⋮ Complete commutative basic algebras ⋮ \(L\)-algebras, self-similarity, and \(l\)-groups ⋮ A note on derivations on basic algebras ⋮ A Note on Representing and Interpreting MV-Algebras ⋮ Open questions related to the problem of Birkhoff and Maltsev ⋮ Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Beth definability and the Stone-Weierstrass theorem ⋮ Commutative basic algebras and non-associative fuzzy logics ⋮ Quasivarieties and congruence permutability of Łukasiewicz implication algebras ⋮ A general Glivenko theorem ⋮ Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
This page was built for publication: MV-algebras: a variety for magnitudes with archimedean units
