Talk:Method of analytic tableaux
Latest comment: 1 month ago by Tule-hog in topic Proof procedure vs proof calculus
 | This article is rated B-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
|
|
Proof procedure vs proof calculus
editAccording to proof procedure, semantic tableaux are a type of proof calculus - not a type of procedure. Tule-hog (talk) 20:34, 13 December 2024 (UTC)