Edward Zalta

From MaRDI portal
Person:484108

Available identifiers

zbMath Open zalta.edward-nWikidataQ4355172 ScholiaQ4355172MaRDI QIDQ484108

List of research outcomes





PublicationDate of PublicationType
Number theory and infinity without mathematics2024-10-24Paper
The metaphysics of Routley star2024-09-12Paper
MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY2020-03-25Paper
Computer Science and Metaphysics: A Cross-Fertilization2019-05-01Paper
Deriving and Validating Kripkean Claims Using the Theory of Abstract Objects2017-07-14Paper
Automating Leibniz’s Theory of Concepts2015-12-02Paper
The Tarski T-Schema is a tautology (literally)2015-11-04Paper
Worlds and propositions set free2015-01-26Paper
The fundamental theorem of world theory2014-12-18Paper
Logic and metaphysics2013-10-04Paper
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations2011-06-10Paper
Steps toward a computational metaphysics2007-04-19Paper
What is Neologicism?2006-07-10Paper
A Nominalist's Dilemma and its Solution2006-02-13Paper
https://portal.mardi4nfdi.de/entity/Q46629012005-03-30Paper
Frege, Boolos, and logical objects2004-08-16Paper
https://portal.mardi4nfdi.de/entity/Q44224672004-01-25Paper
Neo-logicism? An ontological reduction of mathematics to metaphysics2002-06-19Paper
Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory2000-01-30Paper
A classically-based theory of impossible worlds1999-06-21Paper
https://portal.mardi4nfdi.de/entity/Q43949241999-03-18Paper
Twenty-five basic theorems in situation and world theory1993-08-17Paper
On mally’S alleged heresy:A reply1992-06-28Paper
Meinongian type theory and its applications1982-01-01Paper

Research outcomes over time

This page was built for person: Edward Zalta