Weak interpolation in extensions of minimal logic

zbMATH Open1244.03095MaRDI QIDQ3001102FDOQ3001102

Authors: L. L. Maksimova 

Publication date: 31 May 2011

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Extensions of the minimal logic and the interpolation problem

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)