Edward N. Zalta

Publication Activity (10 Years)

Years Active: 1980-2020
Publications (10 Years): 4

Top Topics

Theoretical Basis

Computer Science

Top Venues

J. Philos. Log.

Rev. Symb. Log.

Publications

Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Mechanizing Principia Logico-Metaphysica in Functional Type-Theory. Rev. Symb. Log. 13 (1) (2020)
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Computer Science and Metaphysics: A Cross-Fertilization. CoRR (2019)
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Mechanizing Principia Logico-Metaphysica in Functional Type Theory. CoRR (2017)
Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta
Automating Leibniz's Theory of Concepts. CADE (2015)
Christopher Menzel, Edward N. Zalta
The Fundamental Theorem of World Theory. J. Philos. Log. 43 (2-3) (2014)
Paul E. Oppenheimer, Edward N. Zalta
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations. J. Log. Comput. 21 (2) (2011)
Branden Fitelson, Edward N. Zalta
Steps Toward a Computational Metaphysics. J. Philos. Log. 36 (2) (2007)
Bernard Linsky, Edward N. Zalta
What is neologicism? Bull. Symb. Log. 12 (1) (2006)
David J. Anderson, Edward N. Zalta
Frege, Boolos, and Logical Objects. J. Philos. Log. 33 (1) (2004)
Colin Allen, Uri Nodelman, Edward N. Zalta
Stanford Encyclopedia of Philosophy: A Dynamic Reference Work. JCDL (2003)
Uri Nodelman, Colin Allen, Edward N. Zalta
Stanford encyclopedia of philosophy: a dynamic reference work. JCDL (2002)
Edward N. Zalta, Colin Allen, Uri Nodelman
Stanford encyclopedia of philosophy: a dynamic reference work. JCDL (2001)
Edward N. Zalta
Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege's Grundgesetze in Object Theory. J. Philos. Log. 28 (6) (1999)
Eric M. Hammer, Edward N. Zalta
A Solution to the Problem of Updating Encyclopedias. Comput. Humanit. 31 (1) (1997)
Edward N. Zalta
A Classically-Based Theory of Impossible Worlds. Notre Dame J. Formal Log. 38 (4) (1997)
Edward N. Zalta
Twenty-five basic theorems in situation and world theory. J. Philos. Log. 22 (4) (1993)
Alan F. McMichael, Edward N. Zalta
An alternative theory of nonexistent objects. J. Philos. Log. 9 (3) (1980)