Talk:Method of analytic tableaux

From Wikipedia, the free encyclopedia

Latest comment: 13 December 2024 by Tule-hog in topic Proof procedure vs proof calculus

Jump to navigation Jump to search

Template:WikiProject banner shell

Template:Archives

Proof procedure vs proof calculus

Latest comment: 13 December 20241 comment1 person in discussion

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)Reply

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Talk:Method_of_analytic_tableaux&oldid=1738662"