caa a22 4500 467882495 CHVBK 20180406152724.0 cr unu---uuuuu 170328e20060201xx s 000 0 eng 10.1007/s10485-005-9006-3 doi (NATIONALLICENCE)springer-10.1007/s10485-005-9006-3 Voutsadakis George School of Mathematics and Computer Science, Lake Superior State University, 650 W. Easterday Avenue, 49783, Sault Sainte Marie, MI, USA aut Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems [Elektronische Daten] [George Voutsadakis] An extension of parts of the theory of partially ordered varieties and quasivarieties, as presented by Pałasińska and Pigozzi in the framework of abstract algebraic logic, is developed in the more abstract framework of categorical abstract algebraic logic. Algebraic systems, as introduced in previous work by the author, play in this more abstract framework the role that universal algebras play in the more traditional treatment. The aim here is to build the generalized framework and to formulate and prove abstract versions of the ordered homomorphism theorems in this framework. Springer Science+Business Media, Inc., 2006 varieties nationallicence quasi-varieties nationallicence order homomorphisms nationallicence order isomorphisms nationallicence polarities nationallicence polarity translations nationallicence order translations nationallicence algebraic systems nationallicence $$\pi $$ -institutions nationallicence protoalgebraic logics nationallicence algebraizable logics nationallicence protoalgebraic $$\pi $$ -institutions nationallicence Applied Categorical Structures Springer Netherlands 14/1(2006-02-01), 81-98 0927-2852 14:1<81 2006 14 10485 https://doi.org/10.1007/s10485-005-9006-3 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10485-005-9006-3 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Voutsadakis George School of Mathematics and Computer Science, Lake Superior State University, 650 W. Easterday Avenue, 49783, Sault Sainte Marie, MI, USA aut NATIONALLICENCE 773 0- Applied Categorical Structures Springer Netherlands 14/1(2006-02-01), 81-98 0927-2852 14:1<81 2006 14 10485 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer