Natural dualities for varieties of MV-algebras. I
From MaRDI portal
Publication:5929367
DOI10.1006/jmaa.2000.7153zbMath0974.06006OpenAlexW1971473013MaRDI QIDQ5929367
Publication date: 18 December 2001
Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jmaa.2000.7153
coproductfinitely generated free algebrasMV-algebrasnatural dualityvariety generated by an \(n\)-element chain
Related Items
Modal definability based on Łukasiewicz validity relations ⋮ Lattice of subalgebras in the finitely generated varieties of MV-algebras ⋮ Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro ⋮ Natural dualities in partnership ⋮ The minor order of homomorphisms via natural dualities ⋮ Natural duality, modality, and coalgebra ⋮ New perspectives on semi-primal varieties ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Natural extensions and profinite completions of algebras ⋮ Coproducts of distributive lattice-based algebras. ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ Uniformly hyperarchimedean lattice-ordered groups ⋮ MV-algebras, infinite dimensional polyhedra, and natural dualities ⋮ Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory ⋮ Natural dualities for varieties of BL-algebras
Cites Work
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Finitely generated free MV-algebras and their automorphism groups
- Boolean products of MV-algebras: hypernormal MV-algebras
- Equational characterization of all varieties of MV-algebras
- One chain generated varieties of MV-algebras
- On the topological duality for primal algebra theory
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Super-Łukasiewicz propositional logics
- Optimal natural dualities. II: General theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
