Edward N. Zalta | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Christoph Benzmüller
37 publications
Daniel Kirchner
2 publications

research

∙ 05/01/2019

Computer Science and Metaphysics: A Cross-Fertilization

Computational philosophy is the use of mechanized computational techniqu...

0 Daniel Kirchner, et al. ∙

research

∙ 11/16/2017

Mechanizing Principia Logico-Metaphysica in Functional Type Theory

Principia Logico-Metaphysica proposes a foundational logical theory for ...

0 Daniel Kirchner, et al. ∙