scientific article
From MaRDI portal
Publication:2752054
zbMath1031.03075MaRDI QIDQ2752054
Publication date: 7 March 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessorthogonalitydesignscut-eliminationsoundnessmeaninggame semanticsbehaviorslogical rulesdisputeshypersequentialized calculusparaproofs
Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
An Analytic Propositional Proof System on Graphs ⋮ Jump from parallel to sequential proofs: exponentials ⋮ An approach to innocent strategies as graphs ⋮ An Indexed System for Multiplicative Additive Polarized Linear Logic ⋮ Softness of hypercoherences and MALL full completeness ⋮ Axiom Directed Focusing ⋮ The additive multiboxes