Germinal theories in Łukasiewicz logic

DOI10.1016/j.apal.2016.11.009zbMath1364.06007OpenAlexW2553870844MaRDI QIDQ515569

Daniele Mundici, Leonardo Manuel Cabrer

Publication date: 16 March 2017

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.2016.11.009

zbMATH Keywords

MV-algebraŁukasiewicz logicrational polyhedronaffine group over the integersFarey regular simplexorbit invariant

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• AF inverse monoids and the structure of countable MV-algebras
• Classifying GL\((n,\mathbb{Z})\)-orbits of points and rational subspaces
• Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras
• Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras.
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• The dual adjunction between MV-algebras and Tychonoff spaces
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• Advanced Łukasiewicz calculus and MV-algebras
• Scalar extensions for algebraic structures of Łukasiewicz logic.
• Quantum structures versus partially ordered groups
• The Haar theorem for lattice-ordered abelian groups with order-unit
• Free generating sets of lattice-ordered abelian groups
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Groupes et anneaux reticules
• Algebraic foundations of many-valued reasoning
• Severi-Bouligand tangents, Frenet frames and Riesz spaces
• Simplicial geometry of unital lattice-ordered abelian groups.
• Optimal strategic reasoning with McNaughton functions
• Lectures on polyhedral topology
• RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT
• The Differential Semantics of Łukasiewicz Syntactic Consequence
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• The Lebesgue state of a unital abelian lattice-ordered group
• Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups

This page was built for publication: Germinal theories in Łukasiewicz logic