Properties of superintuitionistic propositional calculi

DOI10.1007/BF00970067zbMath0749.03012MaRDI QIDQ1814378

V. I. Khomich

Publication date: 25 June 1992

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

zbMATH Keywords

algorithmsuperintuitionistic logicsseparation propertyimplicative axioms

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

Separability of normalizable superintuitionistic propositional logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The decidability of certain intermediate propositional logics
• The separation theorem of intuitionist propositional calculus
• [Russian Text Ignored.]

This page was built for publication: Properties of superintuitionistic propositional calculi