Introduction
Extensions made to OOPS
Changes made to OOPS
Tableau rules
Lua and formulas
Advanced Lua
Testing the new axioms
Conclusion
References


 
Tableau rules

Tableau Rules

This page lists all tableau rules currently used by OOPS, and which axiom systems use which rules.

The following tableau rules are defined:

Tableau Rules

 

Rules used in axiom systems

Rules used in axiom systems

 

Relations constraints in axiom systems

Relation constraints in axiom systems
Copyright (c)2012 Extending OOPS to support additional axiom schemes
Powered by: Best Web Hosting and Affiliate Programs Directory. Created with Free Website Builder