orbital.logic.imp
Interfaces 
Formula
Formula.Composite
Inference
Interpretation
Logic
Classes 
InterpretationBase
LogicBasis
Exceptions 
IncompleteCalculusException
LogicException