A game semantics for linear logic
From MaRDI portal
Publication:1192350
DOI10.1016/0168-0072(92)90073-9zbMath0763.03008DBLPjournals/apal/Blass92OpenAlexW1996605832WikidataQ59410904 ScholiaQ59410904MaRDI QIDQ1192350
Publication date: 27 September 1992
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2027.42/30097
completenesslinear logicgame semanticsconstructive semanticsaffine logicadditive fragmentGödel's Dialectica interpretationmultiplicative fragmentoperations on gamesrule of weakening
Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (65)
On the symmetry of sequentiality ⋮ Polarized games ⋮ On the \(\pi\)-calculus and linear logic ⋮ The intuitionistic fragment of computability logic at the propositional level ⋮ From truth to computability. II. ⋮ Which Logic for the Radical Anti-realist? ⋮ Game Semantics and the Manifestation Thesis ⋮ Cirquent Calculus in a Nutshell ⋮ Petri nets, Horn programs, linear logic and vector games ⋮ A constructive game semantics for the language of linear logic ⋮ FUZZY CHU SPACES AND FUZZY TOPOLOGIES ⋮ Game theoretic analysis of call-by-value computation ⋮ Games and full completeness for multiplicative linear logic ⋮ Projecting sequential algorithms on strongly stable functions ⋮ A game-theoretic framework for specification and verification of cryptographic protocols ⋮ Imperative programs as proofs via game semantics ⋮ The taming of recurrences in computability logic through cirquent calculus. I ⋮ Chu spaces as a semantic bridge between linear logic and mathematics. ⋮ Separating the basic logics of the basic recurrences ⋮ Enumerating Independent Linear Inferences ⋮ Proper semantics for substructural logics, from a stalker theoretic point of view ⋮ Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics ⋮ Toggling operators in computability logic ⋮ Introduction to computability logic ⋮ Resource modalities in tensor logic ⋮ Proof and refutation in MALL as a game ⋮ The variable hierarchy for the games \(\mu \)-calculus ⋮ Build your own clarithmetic I: Setup and completeness ⋮ On linear rewriting systems for Boolean logic and some applications to proof theory ⋮ Introduction to clarithmetic. I ⋮ Game-theoretic analysis of call-by-value computation ⋮ Unnamed Item ⋮ Linear Logic Proof Games and Optimization ⋮ Unnamed Item ⋮ A curious dialogical logic and its composition problem ⋮ Bayesian strategies: probabilistic programs as generalised graphical models ⋮ Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ A PSPACE-complete first-order fragment of computability logic ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Interface synthesis and protocol conversion ⋮ Linearizing intuitionistic implication ⋮ Ambiguous classes in \(\mu\)-calculi hierarchies ⋮ On abstract resource semantics and computability logic ⋮ A new face of the branching recurrence of computability logic ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ From truth to computability. I. ⋮ Unnamed Item ⋮ Coordination: Reo, Nets, and Logic ⋮ Free \(\mu\)-lattices ⋮ Sequential operators in computability logic ⋮ Prolegomena to any theory of proof simplicity ⋮ Toward the interpretation of non-constructive reasoning as non-monotonic learning ⋮ Contraction-free Proofs and Finitary Games for Linear Logic ⋮ Dialogue games for many-valued logics -- an overview ⋮ Many concepts and two logics of algorithmic reduction ⋮ On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication ⋮ A game-semantic model of computation ⋮ From Parity Games to Circular Proofs ⋮ The logic of tasks ⋮ Handshake Games ⋮ Finite games for a predicate logic without contractions ⋮ The propositional logic of elementary tasks ⋮ Full intuitionistic linear logic ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games
Cites Work
This page was built for publication: A game semantics for linear logic
