MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY

Kirchner, D; Benzmuller, C; Zalta, EN

Kirchner, D (corresponding author), Free Univ Berlin, Fachbereich Math & Informat, Arnimallee 14, D-14195 Berlin, Germany.

REVIEW OF SYMBOLIC LOGIC, 2020; 13 (1): 206

Abstract

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical developmen......

Full Text Link