Skip to content

ekpyron/AOT

Repository files navigation

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

Resources

Stars

Watchers

Forks

Packages

No packages published