351 search results - page 3 / 71 » Classical proof forestry |
APAL
2005
13 years 6 months ago
2005
We give the precise correspondence between polarized linear logic and polarized classical logic. The properties of focalization and reversion of linear proofs are at the heart of ...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
LFCS
1992
Springer
13 years 10 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
COCO
2007
Springer
14 years 11 days ago
2007
Springer
TBILLC
2007
Springer
14 years 9 days ago
2007
Springer