Glen Helman (Wabash College): Publications - PhilPeople

Wabash College
Department of Philosophy

Regular Faculty

Crawfordsville, Indiana, United States of America

3

Restricted Lambda Abstraction and the Interpretation of Some Non-Classical Logics
Dissertation, University of Pittsburgh. 1977.

Nonclassical Logics
G. BOOLOS "The logic of provability" (review)
History and Philosophy of Logic 16 (2): 284. 1995.

Logic and Philosophy of Logic Logics
99

An interpretation of classical proofs
Journal of Philosophical Logic 12 (1). 1983.
72

Completeness of the normal typed fragment of the λ-system U
Journal of Philosophical Logic 6 (1). 1977.
Proofs and epistemic structure
In Michael Detlefsen (ed.), Proof, Logic and Formalization, Routledge. pp. 24. 2005.

Epistemology of Mathematics Mathematical Proof
72

On the equivalence of proofs involving identity
Notre Dame Journal of Formal Logic 28 (3): 297-321. 1987.

Logic and Philosophy of Logic Proof Theory