Joint consistency in extensions of the minimal logic

DOI10.1007/S11202-010-0050-3zbMath1208.03031OpenAlexW2061812000MaRDI QIDQ606053

Larisa L. Maksimova

Publication date: 15 November 2010

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11202-010-0050-3

zbMATH Keywords

interpolationminimal logicjoint consistency

Mathematics Subject Classification ID

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

Related Items (6)

Extensions of the minimal logic and the interpolation problem ⋮ The projective Beth property in well-composed logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ Interpolation and definability over the logic Gl ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Decidability of the weak interpolation property over the minimal logic

Cites Work

• Constructive negations and paraconsistency
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Semantical investigations in Heyting's intuitionistic logic
• 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
• A weak form of interpolation in equational 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: Joint consistency in extensions of the minimal logic