Edward Zalta

Available identifiers

zbMath Open zalta.edward-nWikidataQ4355172 ScholiaQ4355172MaRDI QIDQ484108

List of research outcomes

Publication	Date of Publication	Type
Number theory and infinity without mathematics	2024-10-24	Paper
The metaphysics of Routley star	2024-09-12	Paper
MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY	2020-03-25	Paper
Computer Science and Metaphysics: A Cross-Fertilization	2019-05-01	Paper
Deriving and Validating Kripkean Claims Using the Theory of Abstract Objects	2017-07-14	Paper
Automating Leibniz’s Theory of Concepts	2015-12-02	Paper
The Tarski T-Schema is a tautology (literally)	2015-11-04	Paper
Worlds and propositions set free	2015-01-26	Paper
The fundamental theorem of world theory	2014-12-18	Paper
Logic and metaphysics	2013-10-04	Paper
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations	2011-06-10	Paper
Steps toward a computational metaphysics	2007-04-19	Paper
What is Neologicism?	2006-07-10	Paper
A Nominalist's Dilemma and its Solution	2006-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4662901	2005-03-30	Paper
Frege, Boolos, and logical objects	2004-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4422467	2004-01-25	Paper
Neo-logicism? An ontological reduction of mathematics to metaphysics	2002-06-19	Paper
Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory	2000-01-30	Paper
A classically-based theory of impossible worlds	1999-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4394924	1999-03-18	Paper
Twenty-five basic theorems in situation and world theory	1993-08-17	Paper
On mally’S alleged heresy:A reply	1992-06-28	Paper
Meinongian type theory and its applications	1982-01-01	Paper

Research outcomes over time

This page was built for person: Edward Zalta