On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic

DOI10.1016/j.entcs.2006.05.040zbMath1262.03042OpenAlexW1968826078MaRDI QIDQ4917992

Larisa 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

interpolationKripke modelparaconsistent logicminimal logic

Mathematics Subject Classification ID

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

Related Items (2)

Classifying material implications over minimal logic ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

Cites Work

• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Interpolation theorems in modal logics. Sufficient conditions
• 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
• Logic of classical refutability and class of extensions of minimal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic