Weak interpolation in extensions of minimal logic

MaRDI QIDQ3001102zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 31 May 2011

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Interpolation, preservation, definability (03C40)

Recommendations

• WIP-minimal logics and interpolation
• Joint consistency in extensions of the minimal logic
• Extensions of the minimal logic and the interpolation problem
• Negative equivalence over the minimal logic and interpolation
• Interpolation and Definability in Extensions of the Minimal Logic

Cited in

(13)

• Joint consistency in extensions of the minimal logic
• Interpolation and definability over the logic Gl
• BI-INTERPRETATION IN WEAK SET THEORIES
• WIP-minimal logics and interpolation
• Recognizability of all WIP-minimal logics
• Interpolation and joint consistency
• Weak interpolation in extensions of the logics S4 and K4
• Interpolation in weakly transitive modal logics
• On deductive interpolation for the weak nilpotent minimum logic
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• A weak form of interpolation in equational logic
• Extensions of the minimal logic and the interpolation problem
• scientific article; zbMATH DE number 6302918 (Why is no real title available?)

This page was built for publication: Weak interpolation in extensions of minimal logic

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