123 search results - page 1 / 25 » The Deduction Theorem for Strong Propositional Proof Systems |
FSTTCS
2007
Springer
13 years 11 months ago
2007
Springer
CADE
2003
Springer
14 years 5 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
JUCS
2007
13 years 4 months ago
2007
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...
ENTCS
2007
13 years 4 months ago
2007
We report initial results on shortening propositional resolution refutation proofs. This has an application in speeding up deductive reconstruction (in theorem provers) of large p...