On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems

David Forsman

Eight categorical soundness and completeness theorems are established within the framework of algebraic theories. Exactly six of the eight deduction systems exhibit complete semant…