842 search results - page 4 / 169 » Linear logic |
APAL
2010
13 years 7 months ago
2010
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
TCS
2011
13 years 2 months ago
2011
We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
TCS
2011
13 years 2 months ago
2011
We introduce the Danos-Régnier category
TIME
2003
IEEE
14 years 26 days ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...