Decidability of the weak interpolation property over the minimal logic

DOI10.1007/S10469-011-9127-8zbMATH Open1285.03029OpenAlexW2062364415MaRDI QIDQ695764FDOQ695764

Authors: L. 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

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

Cites Work

• Semantical investigations in Heyting's intuitionistic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Intuitionistic logic and implicit definability
• Interpolation and joint consistency
• Title not available (Why is that?)
• 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
• Decidability of the interpolation problem and of related properties in tabular logics
• Title not available (Why is that?)
• Logic of classical refutability and class of extensions of minimal logic
• Joint consistency in extensions of the minimal logic
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (17)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q695764)