Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras

DOI10.1016/j.apal.2012.10.001zbMath1275.03099OpenAlexW1981448743MaRDI QIDQ1935862

Vincenzo Marra, Luca Spada

Publication date: 19 February 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.10.001

zbMATH Keywords

fundamental groupunificationcovering spaceŁukasiewicz logicrational polyhedraprojective MV-algebras

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50)

Related Items (21)

Computing on Lattice-Ordered Abelian Groups ⋮ Profinite completions and MacNeille completions of finitely presented MV-algebras ⋮ Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups ⋮ Word problems in Elliott monoids ⋮ Are locally finite MV-algebras a variety? ⋮ Yosida frames in free abelian \(\ell \)-groups ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Ideals of semisimple MV-algebras and convergence along set-theoretic filters ⋮ An analysis of the logic of Riesz spaces with strong unit ⋮ General affine adjunctions, Nullstellensätze, and dualities ⋮ Polyhedral MV-algebras ⋮ THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS ⋮ Notes on divisible MV-algebras ⋮ The dual adjunction between MV-algebras and Tychonoff spaces ⋮ Some remarks on divisible polyhedral MV-algebras ⋮ An extension of Stone duality to fuzzy topologies and MV-algebras ⋮ MV-algebras, infinite dimensional polyhedra, and natural dualities ⋮ The two-sorted algebraic theory of states, and the universal states of MV-algebras ⋮ A Geometric Approach to MV-Algebras ⋮ Projectivity in (bounded) commutative integral residuated lattices

This page was built for publication: Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras