Edward N. Zalta

19 papers A 1Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Defense of Logicism.
Bull. Symb. Log.
Hannes Leitgeb, Uri Nodelman, Edward N. Zalta
2024 J jnl
Metaphysics of Routley Star.
Australas. J. Log.
Edward N. Zalta
2024 J jnl
Number Theory and Infinity Without Mathematics.
J. Philos. Log.
Uri Nodelman, Edward N. Zalta
2020 J jnl
Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.
Rev. Symb. Log.
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
2019 J jnl
Computer Science and Metaphysics: A Cross-Fertilization.
CoRR
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
2017 J jnl
Mechanizing Principia Logico-Metaphysica in Functional Type Theory.
CoRR
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
2015 A conf
Automating Leibniz's Theory of Concepts.
CADE
Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta
2014 J jnl
The Fundamental Theorem of World Theory.
J. Philos. Log.
Christopher Menzel, Edward N. Zalta
2011 J jnl
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations.
J. Log. Comput.
Paul E. Oppenheimer, Edward N. Zalta
2007 J jnl
Steps Toward a Computational Metaphysics.
J. Philos. Log.
Branden Fitelson, Edward N. Zalta
2006 J jnl
What is neologicism?
Bull. Symb. Log.
Bernard Linsky, Edward N. Zalta
2004 J jnl
Frege, Boolos, and Logical Objects.
J. Philos. Log.
David J. Anderson, Edward N. Zalta
2003 — conf
Stanford Encyclopedia of Philosophy: A Dynamic Reference Work.
JCDL
Colin Allen, Uri Nodelman, Edward N. Zalta
2002 — conf
Stanford encyclopedia of philosophy: a dynamic reference work.
JCDL
Uri Nodelman, Colin Allen, Edward N. Zalta
2001 — conf
Stanford encyclopedia of philosophy: a dynamic reference work.
JCDL
Edward N. Zalta, Colin Allen, Uri Nodelman
1999 J jnl
Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege's Grundgesetze in Object Theory.
J. Philos. Log.
Edward N. Zalta
1997 J jnl
A Classically-Based Theory of Impossible Worlds.
Notre Dame J. Formal Log.
Edward N. Zalta
1997 J jnl
A Solution to the Problem of Updating Encyclopedias.
Comput. Humanit.
Eric M. Hammer, Edward N. Zalta
1993 J jnl
Twenty-five basic theorems in situation and world theory.
J. Philos. Log.
Edward N. Zalta