JAR
2002
13 years 11 months ago
2002
JAR
2002
13 years 11 months ago
2002
JAR
2002
13 years 11 months ago
2002
The results of the IJCAR ATP System Competition are presented.
JAR
2002
13 years 11 months ago
2002
JAR
2002
13 years 11 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
JAR
2002
13 years 11 months ago
2002
We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...
JAR
2002
13 years 11 months ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
JAR
2002
13 years 11 months ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...