scientific article; zbMATH DE number 3325541

MaRDI QIDQ5604436zbMATH OpenFDO

Authors V. P. Orevkov

Publication date 1968

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited in

(4)

• Solvable classes of pseudoprenex formulas
• A specialization of the form of deductions in Gentzen calculi and its applications
• A proof-search procedure for intuitionistic propositional logic
• Complexity of subclasses of the intuitionistic propositional calculus

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