PrincipiaMetaphysica
- This repository contains a computer-assisted formalization of Ed Zalta's principia metaphysica, which is based on Zalta's theory of abstract objects. This work is based on a second-order modal logic which employs relational type theory as a foundation.