scientific article; zbMATH DE number 786493
From MaRDI portal
Publication:4842974
zbMath0835.03020MaRDI QIDQ4842974
Publication date: 22 April 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Coherence for sharing proof nets, A By-Level Analysis of Multiplicative Exponential Linear Logic, Coherence for sharing proof-nets, Phase semantics for light linear logic, Cut Elimination for Extended Sequent Calculi, A proof-theoretic investigation of a logic of positions, Parsing MELL proof nets, The decidability of the intensional fragment of classical linear logic, Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets, Proof nets, garbage, and computations