Decidability of the weak interpolation property over the minimal logic

DOI10.1007/s10469-011-9127-8zbMath1285.03029MaRDI QIDQ695764

Larisa L. Maksimova

Publication date: 17 December 2012

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-011-9127-8

zbMATH Keywords

decidability; weak interpolation property; extension of logic; Johansson's minimal logic

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03C40: Interpolation, preservation, definability

03B53: Paraconsistent logics

Related Items

The projective Beth property in well-composed logics, Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\), Interpolation over the minimal logic and Odintsov intervals, Interpolation and definability over the logic Gl, Recognizable and perceptible logics and varieties, Interpolation and the projective Beth property in well-composed logics, Constructive classifications of modal logics and extensions of minimal logic, Hybrid extensions of the minimal logic, Recognizable logics, Extensions of the minimal logic and the interpolation problem, Recognizability of all WIP-minimal logics, The decidability of Craig's interpolation property in well-composed J-logics, The interpolation problem in finite-layered pre-Heyting logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decidability of the interpolation problem and of related properties in tabular logics
• Joint consistency in extensions of the minimal logic
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Semantical investigations in Heyting's intuitionistic logic
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Intuitionistic logic and implicit definability
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Interpolation and Definability in Extensions of the Minimal Logic
• The Projective Beth Property and Interpolation in Positive and Related Logics
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• A weak form of interpolation in equational logic
• Logic of classical refutability and class of extensions of minimal logic
• Some theorems about the sentential calculi of Lewis and Heyting