pr4xis 0.28.0

Axiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof path back to them
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

pub mod axiom;
pub mod composition;
pub mod inference;
pub mod proof;
pub mod proof_theory;
pub mod propositional;
pub mod propositional_logic;
pub mod truth_table;

pub use axiom::Axiom;
pub use composition::{
    AllOf, AnyOf, Compare, CompareOp, Evaluation, Implies, Measurable, Not, Proposition, Threshold,
};
pub use inference::{
    Abduction, AbductionResult, Deduction, DeductionResult, Induction, InductionResult,
};
pub use proof::{CompositeProof, Proof, SimpleProof};
pub use propositional::Connective;