Edward N. Zalta

19 papers A 1Journal 15Unranked 3

Year	Rank	Type	Title / 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