pr4xis 0.27.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

pub mod analogy;
pub mod catalog;
pub mod context;
pub mod ontology;
pub mod structural;

pub use ontology::{ReasoningCategory, ReasoningConcept, ReasoningOntology, ReasoningTradition};

pub use analogy::Analogy;
pub use catalog::structural_axioms_for;
pub use structural::{
    AntisymmetricOnKind, AsymmetricOnKind, IrreflexiveOnKind, NoCyclesOnKind, SymmetricOnKind,
};