18 search results - page 1 / 4 » Focusing and Polarization in Intuitionistic Logic |
CSL
2007
Springer
13 years 10 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
CADE
2009
Springer
14 years 5 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
CIE
2006
Springer
13 years 8 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
JAR
2010
13 years 2 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
LICS
2003
IEEE
13 years 9 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...