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

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

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)

Cites Work

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

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)