8 search results - page 1 / 2 » Normal deduction in the intuitionistic linear logic |
AML
1998
13 years 4 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
CADE
2008
Springer
13 years 6 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
JAR
2010
13 years 3 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...
CADE
2007
Springer
14 years 4 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
ENTCS
2008
13 years 4 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...