Edward Zalta

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Number theory and infinity without mathematics Journal of Philosophical Logic	2024-10-24	Paper
The metaphysics of Routley star The Australasian Journal of Logic	2024-09-12	Paper
Mechanizing \textit{Principia logico-metaphysica} in functional type-theory The Review of Symbolic Logic	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 Nôus	2017-07-14	Paper
Automating Leibniz's theory of concepts Automated Deduction - CADE-25	2015-12-02	Paper
The Tarski T-schema is a tautology (literally) Analysis	2015-11-04	Paper
Worlds and propositions set free Erkenntnis	2015-01-26	Paper
The fundamental theorem of world theory Journal of Philosophical Logic	2014-12-18	Paper
Logic and metaphysics	2013-10-04	Paper
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations Journal Of Logic And Computation	2011-06-10	Paper
Steps toward a computational metaphysics Journal of Philosophical Logic	2007-04-19	Paper
What is Neologicism? The Bulletin of Symbolic Logic	2006-07-10	Paper
A Nominalist's Dilemma and its Solution Philosophia Mathematica	2006-02-13	Paper
scientific article; zbMATH DE number 2150351 (Why is no real title available?)	2005-03-30	Paper
Frege, Boolos, and logical objects Journal of Philosophical Logic	2004-08-16	Paper
scientific article; zbMATH DE number 1974568 (Why is no real title available?)	2004-01-25	Paper
Neo-logicism? An ontological reduction of mathematics to metaphysics Erkenntnis	2002-06-19	Paper
Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory Journal of Philosophical Logic	2000-01-30	Paper
A classically-based theory of impossible worlds Notre Dame Journal of Formal Logic	1999-06-21	Paper
scientific article; zbMATH DE number 1163395 (Why is no real title available?)	1999-03-18	Paper
Twenty-five basic theorems in situation and world theory Journal of Philosophical Logic	1993-08-17	Paper
On mally’S alleged heresy:A reply History and Philosophy of Logic	1992-06-28	Paper
Meinongian type theory and its applications Studia Logica	1982-01-01	Paper

Research outcomes over time

This page was built for person: Edward Zalta