The semantics and proof theory of linear logic
From MaRDI portal
Publication:1106836
DOI10.1016/0304-3975(88)90037-0zbMath0652.03018OpenAlexW1974484530MaRDI QIDQ1106836
Publication date: 1988
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(88)90037-0
Related Items
Current trends in substructural logics ⋮ Linear Logic Properly Displayed ⋮ Inferences and metainferences in \(\mathsf{ST}\) ⋮ Representable idempotent commutative residuated lattices ⋮ A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ Natural 3-valued logics—characterization and proof theory ⋮ Implication, Equivalence, and Negation ⋮ Hypersequents, logical consequence and intermediate logics for concurrency ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ A linear conservative extension of Zermelo-Fraenkel set theory ⋮ Autonomous posets and quantales ⋮ NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES ⋮ Prior’s OIC nonconservativity example revisited ⋮ What is relevance logic? ⋮ Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic ⋮ Non-normal modalities in variants of linear logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Deep \textsf{ST} ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Abstract argumentation systems ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ The original sin of proof-theoretic semantics ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Contextual deduction theorems ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Language in action ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ Gentzenizations of relevant logics without distribution. I ⋮ Logical consequence and the paradoxes ⋮ Condensed detachment is complete for relevance logic: A computer-aided proof ⋮ A decision procedure revisited: Notes on direct logic, linear logic and its implementation ⋮ External curries ⋮ What is a Paraconsistent Logic? ⋮ Natural deduction bottom up ⋮ Decision problems for propositional linear logic ⋮ Fibred tableaux for multi-implication logics ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Modal translations in substructural logics ⋮ Using typed lambda calculus to implement formal systems on a machine ⋮ A family of metainferential logics ⋮ Fragments of R-mingle ⋮ \(\bigstar\)-autonomous lattices ⋮ On two fragments with negation and without implication of the logic of residuated lattices ⋮ The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility ⋮ Effective Finite-Valued Approximations of General Propositional Logics ⋮ The decidability of the intensional fragment of classical linear logic ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ Functional completeness for subsystems of intuitionistic propositional logic ⋮ Prawitz, Proofs, and Meaning ⋮ Correspondences between gentzen and hilbert systems ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Multiplicative conjunction and an algebraic meaning of contraction and weakening ⋮ Semi-implication: A Chapter in Universal Logic ⋮ A structural approach to reversible computation ⋮ Kripke models for linear logic ⋮ Finite games for a predicate logic without contractions ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Interpretations of Weak Positive Modal Logics ⋮ Theorems of Alternatives for Substructural Logics ⋮ Simple consequence relations ⋮ The logics of strict-tolerant logic ⋮ Informational interpretation of substructural propositional logics
Cites Work
