Consequence and interpolation in Łukasiewicz logic
From MaRDI portal
Publication:647417
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
Cites work
- scientific article; zbMATH DE number 4057480 (Why is no real title available?)
- A survey of deduction theorems for the propositional calculi
- Axiomatization of the infinite-valued predicate calculus
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Theory of logical calculi. Basic theory of consequence operations
Cited in
(12)- An interpolation theorem in many-valued logic
- Uniform interpolation and compact congruences
- A way to interpret Łukasiewicz logic and basic logic
- Infinite-valued Łukasiewicz logic based on principal lattice filters
- Łukasiewicz logic: an introduction
- Amalgamation and interpolation in ordered algebras.
- The differential semantics of Łukasiewicz syntactic consequence
- Distributivity in Ł\(_{\aleph_0}\) and other sentential logics
- 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)
