scientific article; zbMATH DE number 1342251
From MaRDI portal
Publication:4263837
zbMath0962.03055MaRDI QIDQ4263837
Publication date: 28 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear logicmeaninggame semanticslogical rulestimefull completenessproof-netssyntax and semanticshypersequentializationmonism and dualityparaproofs and paralogisms
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (13)
A categorical semantics for polarized MALL ⋮ Jump from parallel to sequential proofs: exponentials ⋮ Figures of dialogue: a view from ludics ⋮ An approach to innocent strategies as graphs ⋮ Proof and refutation in MALL as a game ⋮ Softness of hypercoherences and MALL full completeness ⋮ On geometry of interaction for polarized linear logic ⋮ On the Meaning of Logical Completeness ⋮ Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism ⋮ Non decomposable connectives of linear logic ⋮ Syntax vs. semantics: A polarized approach ⋮ The additive multiboxes ⋮ Towards a semantic characterization of cut-elimination
This page was built for publication:
