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.