Talk:Method of analytic tableaux
 | 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
[edit]According 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)