Separability of normalizable superintuitionistic propositional logics

DOI10.1007/BF02314635zbMATH Open0973.03030MaRDI QIDQ1290801FDOQ1290801

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The separation theorem of intuitionist propositional calculus
• The decidability of certain intermediate propositional logics
• Properties of superintuitionistic propositional calculi
• Title not available (Why is that?)
• On the separation theorem of intermediate propositional calculi
• [Russian Text Ignored.]
• Axiomatization of models for intermediate logics constructed with Boolean models by piling up
• Title not available (Why is that?)
• Title not available (Why is that?)
• The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel
• Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$
• A criterion for the separable axiomatization of Gödel's $S_n $
• Title not available (Why is that?)
• A note on the reduction of Gentzen’s calculus 𝐿𝐽

Cited In (1)

• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• [Russian Text Ignored.] 👍 👎
• Properties of superintuitionistic propositional calculi 👍 👎
• Title not available (Why is that?) 👍 👎
• On the property of simple substitution for superintuitionistic propositional 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)