Consequence and interpolation in Łukasiewicz logic
From MaRDI portal
Publication:647417
DOI10.1007/S11225-011-9352-0zbMATH Open1242.03055OpenAlexW2090547318MaRDI QIDQ647417FDOQ647417
Authors: Daniele Mundici 
Publication date: 23 November 2011
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9352-0
Recommendations
- An interpolation theorem in many-valued logic
- scientific article; zbMATH DE number 3902624
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- A geometric proof of the completeness of the Łukasiewicz calculus
- On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
consequence relationsdeduction theoremrational polyhedrainfinite-valued logicdeductive interpolationŁukasiewicz logic
Cites Work
- Theory of logical calculi. Basic theory of consequence operations
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- A survey of deduction theorems for the propositional calculi
- Title not available (Why is that?)
- Axiomatization of the infinite-valued predicate calculus
Cited In (12)
- An interpolation theorem in many-valued logic
- Uniform interpolation and compact congruences
- Infinite-valued Łukasiewicz logic based on principal lattice filters
- A way to interpret Łukasiewicz logic and basic logic
- Łukasiewicz logic: an introduction
- Amalgamation and interpolation in ordered algebras.
- Distributivity in Ł\(_{\aleph_0}\) and other sentential logics
- The differential semantics of Łukasiewicz syntactic consequence
- On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- An asymptotically tight bound on countermodels for Łukasiewicz logic
- The Modelwise Interpolation Property of Semantic Logics
This page was built for publication: Consequence and interpolation in Łukasiewicz logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647417)
