446 search results - page 4 / 90 » A Theorem Prover for a Computational Logic |
NJC
2006
13 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
CADE
1998
Springer
13 years 10 months ago
1998
Springer
CADE
1990
Springer
13 years 10 months ago
1990
Springer
CADE
1990
Springer
13 years 10 months ago
1990
Springer
TABLEAUX
1997
Springer
13 years 10 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...