research
∙
06/22/2016
Finding Proofs in Tarskian Geometry
We report on a project to use a theorem prover to find proofs of the the...
share
research
∙
11/13/2002
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
It has long been an open question whether the formula XCB = EpEEEpqErqr ...
research
∙
11/13/2002
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
With the inclusion of an effective methodology, this article answers in ...
research
∙
05/30/2002