Germinal theories in Łukasiewicz logic

DOI10.1016/J.APAL.2016.11.009zbMATH Open1364.06007OpenAlexW2553870844MaRDI QIDQ515569FDOQ515569

Authors 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-algebrarational polyhedronaffine group over the integersFarey regular simplexorbit invariantŁukasiewicz logic

Mathematics Subject Classification ID

(n)-dimensional polytopes (52B11) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Many-valued logic (03B50) General theory of group and pseudogroup actions (22F05) MV-algebras (06D35)

Recommendations

• Extensions of the \(\aleph_ 0\)-valued Łukasiewicz propositional logic
• scientific article; zbMATH DE number 1854033
• AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n‐VALUED LUKASIEWICZ LOGICS
• A geometric proof of the completeness of the Łukasiewicz calculus
• Lukasiewicz-Moisil algebras

Cites work

• scientific article; zbMATH DE number 3162956 (Why is no real title available?)
• scientific article; zbMATH DE number 192947 (Why is no real title available?)
• scientific article; zbMATH DE number 1269582 (Why is no real title available?)
• scientific article; zbMATH DE number 960150 (Why is no real title available?)
• AF inverse monoids and the structure of countable MV-algebras
• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic foundations of many-valued reasoning
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras.
• Classifying GL\((n,\mathbb{Z})\)-orbits of points and rational subspaces
• Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups
• Free generating sets of lattice-ordered abelian groups
• Groupes et anneaux reticules
• Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Lectures on polyhedral topology
• Optimal strategic reasoning with McNaughton functions
• Quantum structures versus partially ordered groups
• Rational polyhedra and projective lattice-ordered abelian groups with order unit
• Scalar extensions for algebraic structures of Łukasiewicz logic.
• Severi-Bouligand tangents, Frenet frames and Riesz spaces
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• Simplicial geometry of unital lattice-ordered abelian groups.
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• The Haar theorem for lattice-ordered abelian groups with order-unit
• The Lebesgue state of a unital abelian lattice-ordered group
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• The differential semantics of Łukasiewicz syntactic consequence
• The dual adjunction between MV-algebras and Tychonoff spaces

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

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