Alan F. McMichael

Publication Activity (10 Years)

Years Active: 1980-1991
Publications (10 Years): 0

Publications

Alan F. McMichael
Mechanization of Analytic Reasoning About Sets. AAAI (1991)
Alan F. McMichael
SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory. CADE (1990)
Alan F. McMichael
A new actualist modal semantics. J. Philos. Log. 12 (1) (1983)
Alan F. McMichael, Edward N. Zalta
An alternative theory of nonexistent objects. J. Philos. Log. 9 (3) (1980)