Consequence and interpolation in Łukasiewicz logic

DOI10.1007/S11225-011-9352-0zbMath1242.03055OpenAlexW2090547318MaRDI QIDQ647417

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

zbMATH Keywords

deduction theoreminfinite-valued logicŁukasiewicz logicconsequence relationsrational polyhedradeductive interpolation

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (3)

Uniform interpolation and compact congruences ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Amalgamation and interpolation in ordered algebras.

Cites Work

• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• A survey of deduction theorems for the propositional calculi
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Axiomatization of the infinite-valued predicate calculus

This page was built for publication: Consequence and interpolation in Łukasiewicz logic