scientific article; zbMATH DE number 2154091

MaRDI QIDQ4664638zbMATH OpenFDO

Authors M. V. Stukacheva

Publication date 8 April 2005

zbMATH Keywords

disjunction propertyminimal logicparaconsistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Remarks on constructive extensions of minimal logic
• On the structure of paraconsistent extensions of Johansson's logic
• The lattice of extensions of the minimal logic
• scientific article; zbMATH DE number 4045716
• scientific article; zbMATH DE number 1975401

Cited in

(12)

• Recognizability of all WIP-minimal logics
• On the structure of paraconsistent extensions of Johansson's logic
• The decidability of Craig's interpolation property in well-composed J-logics
• Recognizability in pre-Heyting and well-composed logics
• Perceptibility in pre-Heyting logics
• Remarks on constructive extensions of minimal logic
• The lattice of extensions of the minimal logic
• On interpolation problem in paraconsistent extensions of the minimal logic
• A Generalization of Maksimova’s Criterion for the Disjunction Property
• Interpolation and definability over the logic Gl
• Decidability of the weak interpolation property over the minimal logic
• Recognizable logics

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