Generalization of the Truth-relevant Semantics to the Predicate Calculus. - X. Y. Newberry (CoRR, 2015)

The Diagonal Lemma Fails in Aristotelian Logic. - X. Y. Newberry (CoRR, 2015)

Getting around the Halting Problem. - X. Y. Newberry (CoRR, 2017)

A Proof System for a Logic of Presuppositions. - X. Y. Newberry (CoRR, 2023)