Orbital library

Uses of Interface

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.