Orbital library

Uses of Interface
orbital.logic.imp.Logic

Packages that use Logic
orbital.moon.logic Contains implementations of some logics as well as a logic and mathematical expression parser. 
 

Uses of Logic in orbital.moon.logic
 

Classes in orbital.moon.logic that implement Logic
 class ClassicalLogic
          Implementation of modern but classical predicate logic (first-order logic).
 class FuzzyLogic
          Implementation of quantitative fuzzy logics.
 class ModalLogic
          Implementation of modal logic with local or global consequence.
 


Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.