Gyula Klima, Review of A. Kenny: Aquinas on Mind (New York: Routledge, 1995) in Faith and Philosophy 15 (1998) 113–17. In this essay I will only deal with Kenny’s charges against Aquinas’s doctrine that directly concern Aquinas’s doctrine of being, namely, the charge of his failure to distinguish “specifi c existence” from “individual being” à la Frege, and the charges against Aquinas’s doctrin...

Hard-determinable property and balanced of tautologies are specified as important properties in the study proof complexities formerly. In this paper hard-determinable studied together. It is shown that some sequences hard determinable have polynomially bounded Frege proofs.

A Quantifier-Free String Theory for ALOGTIME Reasoning François Pitt Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2000 The main contribution of this work is the definition of a quantifier-free string theory T1 suitable for formalizing ALOGTIME reasoning. After describing L1—a new, simple, algebraic characterization of the complexity class ALOGTIME based on ...