scientific article

zbMath1279.03078MaRDI QIDQ3007265

Michael Gabbay, Murdoch James Gabbay

Publication date: 21 June 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic logicclassical logicintermediate logicrestart rulegoal-directed reasoningglobal well-formedness conditionsnatural deduction derivations

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (1)

Structural Rules in Natural Deduction with Alternatives

This page was built for publication: