Mechanical Logic in Three-Dimensional Space

“The thought-provoking and very interesting proposal of this book amounts to claiming that one can realize the dream (starting at least from the Leibnitian Calculemus) of generating all possible purely logical propositions by means of a mechanical computation. Otherwise stated, and carefully pointed out in this book as well, a full mechanization of logic is possible by renouncing the idea of starting from a set of purely logical axioms. This of course does not mean that a suitable axiomless version, axiomless predicate calculus (APC) of full first-order, becomes ipso facto a decidable system. Rather, a suitable decidable subsystem  of APC is carefully built up in detail chiefly in order to show both its own efficiency and its relevance from a logical and philosophical point of view. A really relevant achievement.”

~Prof. Massimo Stanzione, University of Cassino, Italy