Edward N. Zalta

According to our database, Edward N. Zalta authored at least 14 papers between 1980 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.

Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta

Rev. Symb. Log., 2020

2019

Computer Science and Metaphysics: A Cross-Fertilization.

Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta

CoRR, 2019

2015

Automating Leibniz's Theory of Concepts.

Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta

Proceedings of the Automated Deduction - CADE-25, 2015

2014

The Fundamental Theorem of World Theory.

Christopher Menzel, Edward N. Zalta

J. Philos. Log., 2014

2011

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations.

Paul E. Oppenheimer, Edward N. Zalta

J. Log. Comput., 2011

2007

Steps Toward a Computational Metaphysics.

Branden Fitelson, Edward N. Zalta

J. Philos. Log., 2007

2006

What is neologicism?

Bernard Linsky, Edward N. Zalta

Bull. Symb. Log., 2006

2004

Frege, Boolos, and Logical Objects.

David J. Anderson, Edward N. Zalta

J. Philos. Log., 2004

2003

Stanford Encyclopedia of Philosophy: A Dynamic Reference Work.

Colin Allen, Uri Nodelman, Edward N. Zalta

Proceedings of the ACM/IEEE 2003 Joint Conference on Digital Libraries (JCDL 2003), 2003

1999

Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege's Grundgesetze in Object Theory.

Edward N. Zalta

J. Philos. Log., 1999

1997

A Classically-Based Theory of Impossible Worlds.

Edward N. Zalta

Notre Dame J. Formal Log., 1997

A Solution to the Problem of Updating Encyclopedias.

Eric M. Hammer, Edward N. Zalta

Comput. Humanit., 1997

1993

Twenty-five basic theorems in situation and world theory.

Edward N. Zalta

J. Philos. Log., 1993

1980

An alternative theory of nonexistent objects.

Alan F. McMichael, Edward N. Zalta

J. Philos. Log., 1980