-
21Birefringence, x-ray topography and electron microscope examination of the plastic deformation of diamondPhilosophical Magazine 15 (134): 267-279. 1967.
-
16Nicolas Rescher. The logic of commands. Routledge & Kegan Paul, Ltd., London, and Dover Publications, Inc., New York, 1966, xii + 147 pp (review)Journal of Symbolic Logic 34 (3): 499-500. 1969.
-
37Austin J. L.. How to do things with words. The William James Lectures delivered at Harvard University in 1955. The Clarendon Press, Oxford 1962, vii + 166 pp., and Harvard University Press, Cambridge, Mass., 1962, ix + 167 pp.Wheatley Jon. Austin on implication and entailment. Philosophical studies , vol. 15 , pp. 46–48.Mathews Bill Jr., Austin on implication and entailment: A reply to Mr. Wheatley. Philosophical studies , vol. 15 , pp. 88–89 (review)Journal of Symbolic Logic 36 (3): 513-514. 1971.
-
35A correct polynomial translation of s4 into intuitionistic logicJournal of Symbolic Logic 84 (2): 439-451. 2019.We show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fernández is incorrect. We give a modified translation and prove its correctness, and provide implementations of both translations to allow others to test our results.
-
13The Struggle to Constitute and Sustain Productive Orders: Vincent Ostrom's Quest to Understand Human Affairs (edited book)Lexington Books. 2008.This book identifies the criteria for successful constitutions in both theory and practice using the research and methodology of Vincent Ostrom