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

DOI10.1016/J.APAL.2012.10.001MaRDI QIDQ1935862zbMATH OpenOpenAlexFDO

Authors 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 spacerational polyhedraprojective MV-algebrasŁukasiewicz logic

Mathematics Subject Classification ID

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

Recommendations

• Unification in Łukasiewicz Logic with a Finite Number of Variables
• Projectivity and unification in locally finite varieties of monadic MV-algebras
• Natural dualities for varieties of MV-algebras. I
• A topological duality for monadic MV-algebras
• Algebraic geometry for MV-algebras

Cited in

(27)

• Structural completeness and unification problem of the logic of Chang algebra
• Notes on divisible MV-algebras
• Projectivity in (bounded) commutative integral residuated lattices
• Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
• Geometry of Robinson consistency in Łukasiewicz logic
• An analysis of the logic of Riesz spaces with strong unit
• MV-algebras, infinite dimensional polyhedra, and natural dualities
• Are locally finite MV-algebras a variety?
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• A Geometric Approach to MV-Algebras
• Unification in some substructural logics of BL-algebras and hoops
• Computing on Lattice-Ordered Abelian Groups
• The two-sorted algebraic theory of states, and the universal states of MV-algebras
• Some remarks on divisible polyhedral MV-algebras
• Projectivity and unification in substructural logics of generalized rotations
• An extension of Stone duality to fuzzy topologies and MV-algebras
• Polyhedral MV-algebras
• THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS
• Profinite completions and MacNeille completions of finitely presented MV-algebras
• Word problems in Elliott monoids
• scientific article; zbMATH DE number 2070196 (Why is no real title available?)
• scientific article; zbMATH DE number 5670715 (Why is no real title available?)
• The dual adjunction between MV-algebras and Tychonoff spaces
• Ideals of semisimple MV-algebras and convergence along set-theoretic filters
• General affine adjunctions, Nullstellensätze, and dualities
• Yosida frames in free abelian \(\ell \)-groups
• Projectivity and unification in locally finite varieties of monadic MV-algebras

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

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