Separability of normalizable superintuitionistic propositional logics

DOI10.1007/BF02314635zbMATH Open0973.03030MaRDI QIDQ1290801FDOQ1290801

Authors V. I. Khomich 

Publication date 4 July 1999

Published in Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

separabilitysuperintuitionistic logicsintermediate propositional logicsnormalizable logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 5827852
• [Russian Text Ignored.]
• Properties of superintuitionistic propositional calculi
• A remark on Maksimova's variable separation property in super-bi-intuitionistic logics
• On the property of simple substitution for superintuitionistic propositional logics.

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3726314 (Why is no real title available?)
• scientific article; zbMATH DE number 3497865 (Why is no real title available?)
• scientific article; zbMATH DE number 3236052 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3280029 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A criterion for the separable axiomatization of Gödel's $S_n $
• A note on the reduction of Gentzen’s calculus 𝐿𝐽
• Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$
• Axiomatization of models for intermediate logics constructed with Boolean models by piling up
• On the separation theorem of intermediate propositional calculi
• Properties of superintuitionistic propositional calculi
• The decidability of certain intermediate propositional logics
• The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel
• The separation theorem of intuitionist propositional calculus
• [Russian Text Ignored.]

Cited in

(3)

• [Russian Text Ignored.]
• scientific article; zbMATH DE number 5827852 (Why is no real title available?)
• A remark on Maksimova's variable separation property in super-bi-intuitionistic logics

This page was built for publication: Separability of normalizable superintuitionistic propositional logics

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