Finite axiomatizability in Łukasiewicz logic
From MaRDI portal
Publication:716501
DOI10.1016/J.APAL.2011.06.026zbMATH Open1248.03043OpenAlexW2034881471MaRDI QIDQ716501FDOQ716501
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
Recommendations
simplicial complexfinitely axiomatizable theoryMV-algebrarational polyhedronfinitely presented algebraŁukasiewicz logic
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)
Cites Work
- Title not available (Why is that?)
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Algebraic foundations of many-valued reasoning
- Bases of admissible rules of Łukasiewicz logic
- Admissible Rules of Lukasiewicz Logic
- Title not available (Why is that?)
- De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
- Lattice-ordered Abelian groups and Schauder bases of unimodular fans
- Invariant Measures in Free MV-Algebras
- The Lebesgue state of a unital abelian lattice-ordered group
- Title not available (Why is that?)
- Advanced Łukasiewicz calculus and MV-algebras
- Representation theory of MV-algebras
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- An Introduction to the Geometry of Numbers
- Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
- The free \(n\)-generated BL-algebra
- Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
- An AF Algebra Associated with the Farey Tessellation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decomposition of Birational Toric Maps in Blow-Ups and Blow-Downs
- The Haar theorem for lattice-ordered abelian groups with order-unit
- On monadic MV-algebras
- Rational polyhedra and projective lattice-ordered abelian groups with order unit
- A noncommutative Gauss map
- Finitely presented lattice-ordered abelian groups with order-unit
- Projective MV-algebras and rational polyhedra
- A characterization of the free \(n\)-generated MV-algebra
- Geometry of Robinson consistency in Łukasiewicz logic
- Extending Stone duality to multisets and locally finite MV-algebras.
- The Lebesgue state of a unital abelian lattice-ordered group. II
- Interpretation of De Finetti coherence criterion in Łukasiewicz logic
- Free generating sets of lattice-ordered abelian groups
- Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups
- Title not available (Why is that?)
- Gödel incompleteness in AF C*-algebras
- Unrecognizability of manifolds
- Dynamical properties of logical substitutions
- Title not available (Why is that?)
- Embedding in finitely presented lattice-ordered groups: explicit presentation for constructions
- 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
- Bounded Łukasiewicz logics
- Decidable and undecidable prime theories in infinite-valued logic
- Bernoulli automorphisms of finitely generated free MV-algebras
- Revisiting the free 2-generator abelian \(\ell\)-group
Cited In (18)
- Finitely inseparable first-order axiomatized mereotopological theories
- Title not available (Why is that?)
- Polyhedral MV-algebras
- Title not available (Why is that?)
- Decidable and undecidable prime theories in infinite-valued logic
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams
- Finite axiomatizability and theories with trivial algebraic closure
- THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS
- Invariant measure under the affine group over \(\mathbb Z\)
- Title not available (Why is that?)
- Unification in Łukasiewicz Logic with a Finite Number of Variables
- Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
- Title not available (Why is that?)
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)
