Publisher： Cambridge University Press
E-ISSN： 1943-5894|2|3|322-338
ISSN： 1079-8986
Source： Bulletin of Symbolic Logic, Vol.2, Iss.3, 1996-09, pp. : 322-338
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Games and full completeness for multiplicative linear logic
The Journal of Symbolic Logic, Vol. 59, Iss. 2, 1994-06 ,pp. :
Access to resources
Recommend
A proof-theoretic investigation of a logic of positions
Annals of Pure and Applied Logic, Vol. 123, Iss. 1, 2003-10 ,pp. :
PEBBLE GAMES AND LINEAR EQUATIONS
The Journal of Symbolic Logic, Vol. 80, Iss. 3, 2015-07 ,pp. :
A new deconstructive logic: linear logic
The Journal of Symbolic Logic, Vol. 62, Iss. 3, 1997-09 ,pp. :
The deduction rule and linear and near-linear proof simulations
The Journal of Symbolic Logic, Vol. 58, Iss. 2, 1993-06 ,pp. :