Finite axiomatizability in Łukasiewicz logic
From MaRDI portal
Publication:716501
DOI10.1016/J.APAL.2011.06.026zbMath1248.03043OpenAlexW2034881471MaRDI QIDQ716501
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
simplicial complexMV-algebraŁukasiewicz logicfinitely axiomatizable theoryrational polyhedronfinitely presented algebra
Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Rational and birational maps (14E05) MV-algebras (06D35) Many-valued logic (03B50)
Related Items (4)
A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams ⋮ Polyhedral MV-algebras ⋮ THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS ⋮ Invariant Measure Under the Affine Group Over
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Advanced Łukasiewicz calculus and MV-algebras
- Representation theory of MV-algebras
- The free \(n\)-generated BL-algebra
- Finitely presented lattice-ordered abelian groups with order-unit
- A characterization of the free \(n\)-generated MV-algebra
- Bernoulli automorphisms of finitely generated free MV-algebras
- Revisiting the free 2-generator abelian \(\ell\)-group
- The Haar theorem for lattice-ordered abelian groups with order-unit
- Projective MV-algebras and rational polyhedra
- Free generating sets of lattice-ordered abelian groups
- Interpretation of De Finetti coherence criterion in Łukasiewicz logic
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
- Extending Stone duality to multisets and locally finite MV-algebras.
- Algebraic foundations of many-valued reasoning
- On monadic MV-algebras
- Geometry of Robinson consistency in Łukasiewicz logic
- De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]
- Unrecognizability of manifolds
- Dynamical properties of logical substitutions
- RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT
- A noncommutative Gauss map
- Bases of Admissible Rules of Lukasiewicz Logic
- An Introduction to the Geometry of Numbers
- The Lebesgue state of a unital abelian lattice-ordered group, II
- Lattice-ordered Abelian groups and Schauder bases of unimodular fans
- Invariant Measures in Free MV-Algebras
- An AF Algebra Associated with the Farey Tessellation
- Gödel incompleteness in AF C*-algebras
- Admissible Rules of Lukasiewicz Logic
- Finitely Presented MV-algebras with Finite Automorphism Group
- Faithful and Invariant Conditional Probability in Łukasiewicz Logic
- A geometric proof of the completeness of the Łukasiewicz calculus
- Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
- Automated Reasoning with Analytic Tableaux and Related Methods
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- The Lebesgue state of a unital abelian lattice-ordered group
- Decomposition of Birational Toric Maps in Blow-Ups and Blow-Downs
- Decidable and undecidable prime theories in infinite-valued logic
This page was built for publication: Finite axiomatizability in Łukasiewicz logic
