Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Barr, M., and Wells, C.: Category Theory for Computing Science, 3rd edn., Les Publications CRM, Montréal, 1999.
Blok, W. J., and Pigozzi, D.: Protoalgebraic logics, Stud. Log. 45 (1986), 337–369.
Blok, W. J., and Pigozzi, D.: Algebraizable logics, Mem. Am. Math. Soc. 77(396) (1989).
Bloom, S. L.: Varieties of ordered algebras, J. Comput. Syst. Sci. 13 (1976), 200–212.
Borceux, F.: Handbook of Categorical Algebra, Encyclopedia of Mathematics and its Applications, Vol. 50, Cambridge University Press, UK, 1994.
Czelakowski, J.: Protoalgebraic Logics, Studia Logica Library 10, Kluwer, Dordrecht, 2001.
Dellunde, P.: Equality-free logic: The method of diagrams and preservation theorems, Log. J. IGPL 7 (1999), 717–732.
Dellunde, P., and Jansana, R.: Some characterization theorems for infinitary universal horn logic without equality, J. Symb. Log. 61 (1996), 1242–1260.
Elgueta, R.: Characterizing classes defined without equality, Stud. Log. 58 (1997), 357–394.
Elgueta, R.: Subdirect representation theory for classes without equality, Algebra Univers. 40 (1998), 201–246.
Font, J. M., and Jansana, R.: A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic, Vol. 7 (1996), Springer, Berlin Heidelberg New York, 1996.
Font, J. M., Jansana, R., and Pigozzi, D.: A survey of abstract algebraic logic, Stud. Log. 74(1/2) (2003), 13–97.
Fuchs, L.: Partially Ordered Algebraic Structures, Pergamon, New York, 1963.
Mac Lane, S.: Categories for the Working Mathematician, Springer, 1971.
Pigozzi, D.: Partially Ordered Varieties and QuasiVarieties, Preprint available at http://www.math.iastate.edu/dpigozzi/.
Voutsadakis, G.: Categorical Abstract Algebraic Logic: Tarski Congruence Systems, Logical Morphisms and Logical Quotients, Submitted to the Annals of Pure and Applied Logic, Preprint available at http://pigozzi.lssu.edu/WWW/research/papers.html.
Voutsadakis, G.: Categorical abstract algebraic logic: Models of \(\pi\)-institutions, Notre Dame J. Form. Log., 46(4) (2005), 439–460.
Voutsadakis, G.: Categorical Abstract Algebraic Logic: Generalized Tarski Congruence Systems, Submitted to Theory and Applications of Categories, Preprint available at http://pigozzi.lssu.edu/WWW/research/papers.html.
Voutsadakis, G.: Categorical abstract algebraic logic: \(({\mathcal I},N)\)-algebraic systems, Appl. Categ. Structures 13(3) (2005), 265–280.
Voutsadakis, G.: Categorical Abstract Algebraic Logic: Gentzen \(\pi\) -Institutions, Submitted to Mathematica Scandinavica, Preprint available at http://pigozzi.lssu.edu/WWW/research/papers.html.
Voutsadakis, G.: Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical properties, To appear in the Reports on Mathematical Logic, Preprint available at http://pigozzi.lssu.edu/WWW/research/papers.html.
Voutsadakis, G.: Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity, To appear in Studia Logica, Preprint available at http://pigozzi.lssu.edu/WWW/research/papers.html.
Voutsadakis, G.: Categorical Abstract Algebraic Logic: More on Protoalgebraicity, Submitted to the Notre Dame Journal of Formal Logic, Preprint available at http://pigozzi.lssu.edu/WWW/research/papers.html.
Voutsadakis, G.: Categorical abstract algebraic logic: Protoalgebraicity and Leibniz theory systems, Sci. Math. Jpn. 62(1) (2005), 109–117.
Voutsadakis, G.: Categorical Abstract Algebraic Logic: The Largest Theory System Included in a Theory Family, Submitted to Mathematical Logic Quarterly, Preprint available at http://pigozzi.lssu.edu/WWW/research/papers.html.
Author information
Authors and Affiliations
Corresponding author
Additional information
To Don Pigozzi and Kate Pałasińska.
Rights and permissions
About this article
Cite this article
Voutsadakis, G. Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems. Appl Categor Struct 14, 81–98 (2006). https://doi.org/10.1007/s10485-005-9006-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-005-9006-3