Higher Order LOgic Truth - architecture and kernel for deduction
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
wikidocs @ e4c4c0c
.gitmodules
LICENSE
README.md

README.md

Higher Order LOgic Truth

A distributed representation for formal higher order logical truths and kernels supporting extension of these distributed theories by deduction.

Initially just a wiki.