Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic.

Thomas Macaulay Ferguson

Browse the full TABLEAUX paper archive.