Finite axiomatizability in Łukasiewicz logic

DOI10.1016/J.APAL.2011.06.026MaRDI QIDQ716501zbMATH OpenOpenAlexFDO

Authors Daniele Mundici

Publication date 22 September 2011

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

zbMATH Keywords

simplicial complexfinitely axiomatizable theoryMV-algebrarational polyhedronfinitely presented algebraŁukasiewicz logic

Mathematics Subject Classification ID

Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Many-valued logic (03B50) Rational and birational maps (14E05) MV-algebras (06D35)

Recommendations

• A geometric proof of the completeness of the Łukasiewicz calculus
• Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
• scientific article; zbMATH DE number 5320559
• An axiomatization of the finite-valued Łukasiewicz calculus
• Finiteness in infinite-valued Łukasiewicz logic

Cites work

• scientific article; zbMATH DE number 3146801 (Why is no real title available?)
• scientific article; zbMATH DE number 3149985 (Why is no real title available?)
• scientific article; zbMATH DE number 955336 (Why is no real title available?)
• scientific article; zbMATH DE number 3201876 (Why is no real title available?)
• scientific article; zbMATH DE number 3401836 (Why is no real title available?)
• scientific article; zbMATH DE number 960150 (Why is no real title available?)
• scientific article; zbMATH DE number 3062447 (Why is no real title available?)
• A characterization of the free \(n\)-generated MV-algebra
• A geometric proof of the completeness of the Łukasiewicz calculus
• A noncommutative Gauss map
• Admissible Rules of Lukasiewicz Logic
• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic foundations of many-valued reasoning
• An AF Algebra Associated with the Farey Tessellation
• An Introduction to the Geometry of Numbers
• Bases of admissible rules of Łukasiewicz logic
• Bernoulli automorphisms of finitely generated free MV-algebras
• Bounded Łukasiewicz logics
• De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
• Decidable and undecidable prime theories in infinite-valued logic
• Decomposition of Birational Toric Maps in Blow-Ups and Blow-Downs
• Dynamical properties of logical substitutions
• Embedding in finitely presented lattice-ordered groups: explicit presentation for constructions
• Extending Stone duality to multisets and locally finite MV-algebras.
• Faithful and Invariant Conditional Probability in Łukasiewicz Logic
• Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
• Finitely presented MV-algebras with finite automorphism group
• Finitely presented lattice-ordered abelian groups with order-unit
• Free generating sets of lattice-ordered abelian groups
• Geometry of Robinson consistency in Łukasiewicz logic
• Gödel incompleteness in AF C*-algebras
• Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Interpretation of De Finetti coherence criterion in Łukasiewicz logic
• Invariant Measures in Free MV-Algebras
• Lattice-ordered Abelian groups and Schauder bases of unimodular fans
• On monadic MV-algebras
• Projective MV-algebras and rational polyhedra
• Rational polyhedra and projective lattice-ordered abelian groups with order unit
• Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups
• Representation theory of MV-algebras
• Revisiting the free 2-generator abelian -group
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• The Haar theorem for lattice-ordered abelian groups with order-unit
• The Lebesgue state of a unital abelian lattice-ordered group
• The Lebesgue state of a unital abelian lattice-ordered group. II
• The free \(n\)-generated BL-algebra
• Unrecognizability of manifolds

Cited in

(18)

• Finitely inseparable first-order axiomatized mereotopological theories
• scientific article; zbMATH DE number 1156786 (Why is no real title available?)
• Polyhedral MV-algebras
• scientific article; zbMATH DE number 2015288 (Why is no real title available?)
• Decidable and undecidable prime theories in infinite-valued logic
• scientific article; zbMATH DE number 823602 (Why is no real title available?)
• Degrees of maximality of Łukasiewicz-like sentential calculi
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Optimal axiomatizations of finitely valued logics
• scientific article; zbMATH DE number 1357400 (Why is no real title available?)
• Finite axiomatizability and theories with trivial algebraic closure
• A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams
• THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS
• Invariant measure under the affine group over \(\mathbb Z\)
• scientific article; zbMATH DE number 5295707 (Why is no real title available?)
• Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
• Unification in Łukasiewicz Logic with a Finite Number of Variables
• scientific article; zbMATH DE number 956482 (Why is no real title available?)

This page was built for publication: Finite axiomatizability in Łukasiewicz logic

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