ekpyron / AOT

Embedding of The Theory of Abstract Objects in Isabelle/HOL

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Embedding of Abstract Object Theory in Isabelle/HOL

This repository contains an embedding of Abstract Object Theory in Isabelle/HOL.

It implements major parts of the most recent presentation of object theory given in Edward Zalta's Principia Logico-Metaphysica in context of the Computational Metaphysics project of the Metaphysics Research Lab at Stanford University.

A more readable HTML presentation of the theory files is automatically generated form this repository.

An older and now outdated version of the embedding was published in the Archive of Formal Proofs.

About

Embedding of The Theory of Abstract Objects in Isabelle/HOL

License:Other


Languages

Language:Isabelle 94.3%Language:Standard ML 5.4%Language:TeX 0.2%Language:Shell 0.0%