scientific article; zbMATH DE number 3356739

MaRDI QIDQ5631083zbMATH OpenFDO

Authors Dick H. J. de Jongh

Publication date 1970

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited in

(5)

• The disjunction property of intermediate propositional logics
• Computations in fragments of intuitionistic propositional logic
• A(nother) characterization of intuitionistic propositional logic
• Tabular intermediate logics comparison
• Stable canonical rules and formulas for pre-transitive logics via definable filtration

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