View Related Documents

Abstract

Algebraic systems play in the theory of algebraizability of π-institutions the role that algebras play in the theory of algebraizable sentential logics. In this same sense, ℐ-algebraic systems are to a π-institution ℐ what S\mathcal{S} -algebras are to a sentential logic S\mathcal{S} . More precisely, an (ℐ,N)-algebraic system is the sentence functor reduct of an N′-reduced (N,N′)-full model of a π-institution ℐ. Algebraic systems are formally introduced and their relationship with full models and with bilogical morphisms is investigated.

Keywords  abstract algebraic logic - deductive systems - institutions - equivalent deductive systems - algebraizable deductive systems - adjunctions - equivalent institutions - algebraizable institutions - Leibniz congruence - Tarski congruence - algebraizable sentential logics -  S\mathcal{S} -algebras

Mathematics Subject Classifications (2000)  Primary: 03Gxx, secondary: 18Axx, 68N05.

Fulltext Preview

Image of the first page of the fulltext document