scientific article; zbMATH DE number 2019879

MaRDI QIDQ4440575zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 2002

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53) Interpolation, preservation, definability (03C40)

Recommendations

• Interpolation and Definability in Extensions of the Minimal Logic
• scientific article; zbMATH DE number 6302918
• Interpolation and definability over the logic Gl
• Extensions of the minimal logic and the interpolation problem
• scientific article; zbMATH DE number 2047484

Cited in

(10)

• Extensions of the minimal logic and the interpolation problem
• WIP-minimal logics and interpolation
• Interpolation and Definability in Extensions of the Minimal Logic
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• scientific article; zbMATH DE number 1975401 (Why is no real title available?)
• scientific article; zbMATH DE number 2047484 (Why is no real title available?)
• scientific article; zbMATH DE number 6302918 (Why is no real title available?)
• Interpolation and definability over the logic Gl
• Hybrid extensions of the minimal logic

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 Q4440575)