A Graph Calculus for Predicate Logic
We introduce a refutation graph calculus sophie allport zebra for classical first-order predicate logic, which is an extension of previous ones for binary relations.One reduces logical consequence to establishing that a constructed graph has empty extension, i.e.it represents bottom.Our calculus establishes that a Neuw Rebel Skinny Eternal Black Je