Publication:4012888
From MaRDI portal
zbMath0778.03017MaRDI QIDQ4012888
Publication date: 27 September 1992
substructural logicsintuitionistic logicdeductive systemselimination inferencesintroduction inferencesstructural frameworksstructural inferences
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