23 search results - page 2 / 5 » Normal Natural Deduction Proofs (in classical logic) |
128
click to vote
JAR
2010
14 years 11 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...
129
click to vote
RTA
2004
Springer
15 years 6 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
110
click to vote
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
We investigate some syntactic properties of Wadler’s dual calculus, a term calculus which corresponds to classical sequent logic in the same way that Parigot’s λµ calculus co...
114
click to vote
ACL
1989
15 years 2 months ago
1989
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...
107
click to vote
CADE
2007
Springer
16 years 1 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...