Return to Article Details Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets Download Download PDF