scientific article; zbMATH DE number 937366
From MaRDI portal
zbMath0868.03025MaRDI QIDQ4896506
Publication date: 20 October 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Softness of MALL proof-structures and a correctness criterion with Mix, Unnamed Item, Paths-based criteria and application to linear logic subsystems characterizing polynomial time, Weak typed Böhm theorem on IMLL, The true concurrency of differential interaction nets, Jump from parallel to sequential proofs: exponentials, Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing, Simple free star-autonomous categories and full coherence, A proof of the focusing theorem via MALL proof nets, An approach to innocent strategies as graphs, Node Replication: Theory And Practice, Proof and refutation in MALL as a game, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic, Parametric \(\lambda \)-theories, The spirit of node replication, Multi-focused cut elimination, Proof nets sequentialisation in multiplicative linear logic, Correctness of linear logic proof structures is NL-complete, Softness of hypercoherences and MALL full completeness, Concurrent nets: a study of prefixing in process calculi, Polarized and focalized linear and classical proofs, Unnamed Item, Encoding Hamiltonian circuits into multiplicative linear logic, Light linear logic, Connection-based proof construction in linear logic, Stratified coherence spaces: A denotational semantics for light linear logic, Connection methods in linear logic and proof nets construction, Proof-search in type-theoretic languages: An introduction, Strong normalization property for second order linear logic, Linear logic by levels and bounded time complexity, Proof diagrams for multiplicative linear logic: syntax and semantics, Syntax vs. semantics: A polarized approach, Proofs, Reasoning and the Metamorphosis of Logic, Order-enriched categorical models of the classical sequent calculus, An abstract approach to stratification in linear logic, Event Domains, Stable Functions and Proof-Nets, The additive multiboxes
