All Classes and Interfaces

Class	Description
IFOLFormula	The IFOLFormula interface defines a first-order logic formula.
IFormula	The IFormula interface represents a logical formula in either propositional logic or first-order logic.
INDProof	The INDProof interface represents a natural deduction (ND) proof.
IPLFormula	The IPLFormula interface represents a propositional logic expression.
LogicAPI	The LogicAPI class provides utility methods for parsing and verifying logical expressions and natural deduction proofs.