Tableau Calculus - Predicate Logic
Channel: Samya Daleh
Date: 01/11/2017

This version of tableau calculus can be solved by a machine.

References:
Blackburn, Patrick ; Bos, Johan: Representation and Inference for Natural Language : A First Course in Computational Semantics. Volume I : Working with First Order Logic, 1999, p. 117 ff.
Beth, Evert Willem: Semantic entailment and formal derivability. Amsterdam : Noord-Hollandsche Uitg. Mij., 1955 (Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen. Afd. Letterkunde nieuwe reeks, deel 18, no. 13)