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

covering spacefundamental groupprojective MV-algebrasrational polyhedraunificationŁ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

(32)

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

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)