Edward N. Zalta

Orcid: 0000-0001-6488-3496

According to our database1, Edward N. Zalta authored at least 15 papers between 1980 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Number Theory and Infinity Without Mathematics.
J. Philos. Log., October, 2024

2020
Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.
Rev. Symb. Log., 2020

2019
Computer Science and Metaphysics: A Cross-Fertilization.
CoRR, 2019

2015
Automating Leibniz's Theory of Concepts.
Proceedings of the Automated Deduction - CADE-25, 2015

2014
The Fundamental Theorem of World Theory.
J. Philos. Log., 2014

2011
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations.
J. Log. Comput., 2011

2007
Steps Toward a Computational Metaphysics.
J. Philos. Log., 2007

2006
What is neologicism?
Bull. Symb. Log., 2006

2004
Frege, Boolos, and Logical Objects.
J. Philos. Log., 2004

2001
Stanford encyclopedia of philosophy: a dynamic reference work.
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2001

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

1997
A Classically-Based Theory of Impossible Worlds.
Notre Dame J. Formal Log., 1997

A Solution to the Problem of Updating Encyclopedias.
Comput. Humanit., 1997

1993
Twenty-five basic theorems in situation and world theory.
J. Philos. Log., 1993

1980
An alternative theory of nonexistent objects.
J. Philos. Log., 1980


  Loading...