42 search results - page 1 / 9 » Towards a Canonical Classical Natural Deduction System |
CSL
2010
Springer
13 years 12 months ago
2010
Springer
CSL
2003
Springer
14 years 4 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
ECCC
2006
13 years 11 months ago
2006
In this paper we ask the question whether the extended Frege proof system EF satisfies a weak version of the deduction theorem. We prove that if this is the case, then complete dis...
LFCS
2007
Springer
14 years 5 months ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
JVA
2006
IEEE
14 years 4 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...