Decidability of the weak interpolation property over the minimal logic

DOI10.1007/S10469-011-9127-8zbMath1285.03029OpenAlexW2062364415MaRDI 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

decidabilityweak interpolation propertyextension of logicJohansson's minimal logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40) Paraconsistent logics (03B53)

Related Items (13)

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

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

This page was built for publication: Decidability of the weak interpolation property over the minimal logic