scientific article

From MaRDI portal

Revision as of 01:52, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4012888

Jump to:navigation, search

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 logics intuitionistic logic deductive systems elimination inferences introduction inferences structural frameworks structural 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 (5)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4012888&oldid=17721812"