Questions tagged [proof-search]
Proof search problems in formal systems
1 question with no upvoted or accepted answers
7
votes
0
answers
122
views
Are there any programming languages based on the method of analytic tableaux, aside from Fitting's Proflog?
The method of analytic tableaux [0] describes a process by which logical formulae, particularly of first order logic, can be determined to be valid or invalid. From the Wikipedia entry:
A tableau ...
- 109