Edward N. Zalta - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2020

Mechanizing Principia Logico-Metaphysica in Functional Type-TheoryDaniel Kirchner, Christoph Benzmüller, Edward N. Zalta. rsl, 13(1):206-218, 2020. [doi]

2015

Automating Leibniz's Theory of ConceptsJesse Alama, Paul E. Oppenheimer, Edward N. Zalta. cade 2015: 73-97 [doi]

2014

The Fundamental Theorem of World TheoryChristopher Menzel, Edward N. Zalta. jphil, 43(2-3):333-363, 2014. [doi]

2011

Relations Versus Functions at the Foundations of Logic: Type-Theoretic ConsiderationsPaul E. Oppenheimer, Edward N. Zalta. logcom, 21(2):351-374, 2011. [doi]

2007

Steps Toward a Computational MetaphysicsBranden Fitelson, Edward N. Zalta. jphil, 36(2):227-247, 2007. [doi]

2006

What is neologicism?Bernard Linsky, Edward N. Zalta. bsl, 12(1):60-99, 2006. [doi]

2004

Frege, Boolos, and Logical ObjectsDavid J. Anderson, Edward N. Zalta. jphil, 33(1):1-26, 2004. [doi]

2003

Stanford Encyclopedia of Philosophy: A Dynamic Reference WorkColin Allen, Uri Nodelman, Edward N. Zalta. JCDL 2003: 383 [doi]

2002

Stanford encyclopedia of philosophy: a dynamic reference workUri Nodelman, Colin Allen, Edward N. Zalta. JCDL 2002: 380 [doi]

2001

Stanford encyclopedia of philosophy: a dynamic reference workEdward N. Zalta, Colin Allen, Uri Nodelman. JCDL 2001: 457 [doi]

1999

Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege's Grundgesetze in Object TheoryEdward N. Zalta. jphil, 28(6):617-658, 1999. [doi]

1997

A Solution to the Problem of Updating EncyclopediasEric M. Hammer, Edward N. Zalta. lre, 31(1):47-60, 1997. [doi]

A Classically-Based Theory of Impossible WorldsEdward N. Zalta. ndjfl, 38(4):640-660, 1997.

1993

Twenty-five basic theorems in situation and world theoryEdward N. Zalta. jphil, 22(4):385-428, 1993. [doi]

1980

An alternative theory of nonexistent objectsAlan F. McMichael, Edward N. Zalta. jphil, 9(3):297-313, 1980. [doi]

Sign in or sign up to see more results.

runs on WebDSL