Return to Article Details Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics Download Download PDF