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)

Review text

Introduced by Herbrand in 1930, the classical unification problem in logic is the following: given two terms \(s\), \(t\) built from function symbols and variables, find a uniform replacement, called \textit{unifier}, of the variables occuring in \textit{s} and \textit{t} by other terms that make \textit{s} and \textit{t} identical and, more generally, E-unification problem if the identity is replaced by equality modulo a given equational theory E. Most fundamental is the issue of unification type of E, which can be \textit{unitary}, \textit{finitary}, \textit{infinitary} or none of them, then called \textit{nullary}. In this paper the E-unification type of Łukasiewicz infinite-valued propositional logic and the corresponding variety of MV-algebras is proved to be nullary, MV-algebras being the algebraic counterpart of Łukasiewicz logic in the same sense as Boolean algebras are for classical logic. The proof is based on a recent result on projective MV-algebras (by Cabrer and Mundici), the categorical duality between finitely presented MV-algebras and rational polyhedra and, finally, lifts of continuous maps to the universal covering space of the unit circle.

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)