AlphaGAT Notes

Formal methods have a bad reputation in both knowledge representation and reasoning (KRR) and in programming.

A computer algebra system is also a logical system via algebraic logic.

How are generalized algebraic theories structured? Sowa developed the notion of the “lattice of theories”, but this was within a particular logical system (i.e. conceptual graphs). Additional axioms