On interpolation problem in paraconsistent extensions of the minimal logic

DOI10.1016/J.ENTCS.2006.05.040MaRDI QIDQ4917992zbMATH OpenOpenAlexFDO

Authors L. L. Maksimova

Publication date 3 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.05.040

zbMATH Keywords

interpolationparaconsistent logicminimal logicKripke model

Mathematics Subject Classification ID

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

Recommendations

• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Extensions of the minimal logic and the interpolation problem
• Interpolation over the minimal logic and Odintsov intervals
• WIP-minimal logics and interpolation
• The interpolation problem in finite-layered pre-Heyting logics

Cites work

• scientific article; zbMATH DE number 3609636 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• scientific article; zbMATH DE number 2047484 (Why is no real title available?)
• scientific article; zbMATH DE number 2154091 (Why is no real title available?)
• scientific article; zbMATH DE number 2196596 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Interpolation and Definability in Extensions of the Minimal Logic
• Interpolation theorems in modal logics. Sufficient conditions
• Intuitionistic logic and implicit definability
• Logic of classical refutability and class of extensions of minimal logic
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(8)

• On deductive interpolation for the weak nilpotent minimum logic
• WIP-minimal logics and interpolation
• Classifying material implications over minimal logic
• Extensions of the minimal logic and the interpolation problem
• scientific article; zbMATH DE number 1975401 (Why is no real title available?)
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Decidability of some interpolation properties for weakly transitive modal logics
• Interpolation over the minimal logic and Odintsov intervals

This page was built for publication: On interpolation problem in paraconsistent extensions of the minimal logic

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