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

DOI10.1016/J.APAL.2012.10.001zbMATH Open1275.03099OpenAlexW1981448743MaRDI QIDQ1935862FDOQ1935862

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

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

zbMATH Keywords

fundamental groupunificationcovering spacerational polyhedraprojective MV-algebrasŁukasiewicz logic

Mathematics Subject Classification ID

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

Cited In (27)

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