Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
A system of natural deduction rules is proposed for an idealized form of English. The rules presuppose a sharp distinction between proper names and such expressions as ‘the c’, ‘a (an) c’, ‘some c’,… (More)
A demonstrably consistent theory of real numbers has been outlined by the writer in An extension of basic logic 1 (hereafter referred to as EBL). This theory deals with non-negative real numbers, but… (More)
In the review by Bede Rundle of my paper, A complete and consistent modal set theory (XXXIV 125), a counterexample to my Theorem 3.14 is presented and is attributed to Professor Alonzo Church. The… (More)