Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179): Difference between revisions

This paper is part of the great programme undertaken by the same author to generalize algebraization of deductive systems / sentential logic (as developed by Blok, Pigozzi, Font, Jansana, etc.) to the level of \(\pi\)-institutions. The latter arose within formal specification theory as a meta-theory for multi-signature deductive systems, independently of the actual details of the logic involved. The present work falls into the intersection between categorical (universal) algebra and categorical abstract algebraic logic. An extension of parts of the theory of partially ordered varieties and quasivarieties, as presented by Palasinska and Pigozzi in the framework of abstract algebraic logic, is developed in the more abstract framework of categorical abstract algebraic logic.