Talk:Extended Completeness Theorem for Propositional Tableaus and Boolean Interpretations

Should we note the relationship to the Extended Soundness Theorem of Propositional Calculus? --Cynic (talk) 00:49, 16 July 2009 (UTC)

Could do. It's joined together in Equivalence of Logical Consequence and Logical Implication, but I suppose there's nothing to stop us cross-referencing each to each other. --Matt Westwood 07:54, 16 July 2009 (UTC)