49 search results - page 2 / 10 » Fibring Semantic Tableaux |
TABLEAUX
1997
Springer
13 years 9 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...
ISMIS
1993
Springer
13 years 9 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
CADE
1992
Springer
13 years 9 months ago
1992
Springer
Tableau
ENTCS
2008
13 years 5 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
AIML
2008
13 years 6 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...