- Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym & Eike Ritter - 2004 - Oxford, England: Oxford University Press UK. Edited by Eike Ritter.details
|
|
The structure of multiplicatives.Vincent Danos & Laurent Regnier - 1989 - Archive for Mathematical Logic 28 (3):181-203.details
|
|
(1 other version)Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.details
|
|
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.details
|
|
Games and full completeness for multiplicative linear logic.Abramsky Samson & Jagadeesan Radha - 1994 - Journal of Symbolic Logic 59 (2):543-574.details
|
|
Logic and games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Decision problems for propositional linear logic.Patrick Lincoln, John Mitchell, Andre Scedrov & Natarajan Shankar - 1992 - Annals of Pure and Applied Logic 56 (1-3):239-311.details
|
|
(1 other version)Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym & Eike Ritter - 2004 - New York: Oxford University Press. Edited by Eike Ritter.details
|
|
Bisimulation, modal logic and model checking games.C. Stirling - 1999 - Logic Journal of the IGPL 7 (1):103-124.details
|
|
A game semantics for linear logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.details
|
|
Ein Dialogisches Konstruktivitatskriterium.P. Lorenzen - 1967 - Journal of Symbolic Logic 32 (4):516-516.details
|
|
Locus Solum: From the Rules of Logic to the Logic of Rules.Jean-Yves Girard - 2001 - Mathematical Structures in Computer Science 11 (3):301–506.details
|
|
An infinite-game semantics for well-founded negation in logic programming.Chrysida Galanaki, Panos Rondogiannis & William W. Wadge - 2008 - Annals of Pure and Applied Logic 151 (2-3):70-88.details
|
|