scientific article

zbMath0778.03017MaRDI QIDQ4012888

Peter Schroeder-Heister

Publication date: 27 September 1992

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

zbMATH Keywords

substructural logicsintuitionistic logicdeductive systemselimination inferencesintroduction inferencesstructural frameworksstructural inferences

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Free semantics ⋮ The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics ⋮ Validity concepts in proof-theoretic semantics ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ The practice of logical frameworks