https://github.com/jessealama/object-theory

Working with object theory, computationally
https://github.com/jessealama/object-theory

Last synced: 4 days ago
JSON representation

Working with object theory, computationally

• Host: GitHub
• URL: https://github.com/jessealama/object-theory
• Owner: jessealama
• Created: 2012-09-25T21:29:23.000Z (about 12 years ago)
• Default Branch: master
• Last Pushed: 2012-10-02T11:39:05.000Z (about 12 years ago)
• Last Synced: 2024-05-09T07:29:17.928Z (6 months ago)
• Language: Common Lisp
• Size: 141 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.mkd

Awesome Lists containing this project

README

        
Explore Object Theory, Computationally

==========

This collection of tools is intended to facilitate exporation with

Zalta's [*object theory*][zalta-abstract-objects], an extension of

quantified modal logic for reasoning with concrete and abstract

objects.

Getting started

----------

This package assumes that you have a Common Lisp environment.

Reading and writing proofs

----------

[zalta-abstract-objects]: http://mally.stanford.edu/theory.html "The Theory of Abstract Objects"