export { IEvaluable } from "./interfaces";
export { Individual, Function, Sentence, Cardinality } from "./basis";
export { Mappings } from "./mappings";
export { Axiom } from "./axiom";
export { Population, Functionality, TruthTable, Rules } from "./containers";
export { EvaluableNegateOperation, EvaluableAndOperation, EvaluableImplicationOperation, EvaluableOrOperation, EvaluableEquivalenceOperation, FormulableNegateOperation, FormulableAndOperation, FormulableOrOperation, FormulableImplicationOperation, FormulableEquivalenceOperation } from "./operations";
export { universalQuantifier, existencialQuantifier } from "./quantifiers";
export { modusPonens, ModusPonensResult } from "./reasoners";
export { LogicAgent } from "./aggregation";
//# sourceMappingURL=index.d.ts.map