446 search results - page 4 / 90 » A Theorem Prover for a Computational Logic |
NJC
2006
14 years 11 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
15 years 3 months ago
1998
Springer
CADE
1990
Springer
15 years 3 months ago
1990
Springer
CADE
1990
Springer
15 years 3 months ago
1990
Springer
TABLEAUX
1997
Springer
15 years 3 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...