scientific article; zbMATH DE number 1975401

MaRDI QIDQ4424644zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 4 March 2004

zbMATH Keywords

extensions of Johansson's minimal logicinterpolation propertyparaconsistent logicsprojective Beth property

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2019879
• On interpolation problem in paraconsistent extensions of the minimal logic
• Interpolation and Definability in Extensions of the Minimal Logic
• On the structure of paraconsistent extensions of Johansson's logic
• A method of proving interpolation in paraconsistent extensions of the minimal logic

Cited in

(7)

• Extensions of the minimal logic and the interpolation problem
• Maximal paraconsistent extension of Johansson logic
• Remarks on constructive extensions of minimal logic
• scientific article; zbMATH DE number 1746566 (Why is no real title available?)
• scientific article; zbMATH DE number 1778912 (Why is no real title available?)
• scientific article; zbMATH DE number 2154091 (Why is no real title available?)
• Interpolation over the minimal logic and Odintsov intervals

This page was built for publication:

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