Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity

1. Barr, M., and C. Wells, Category Theory for Computing Science, Third Edition, Les Publications CRM, Montréal, 1999.

2. Blok W.J., and D. Pigozzi (1986) ‘Protoalgebraic Logics’. Studia Logica 45: 337–369

   Article  Google Scholar 

3. Blok W. J., and D. Pigozzi, ‘Algebraizable Logics’, Memoirs of the American Mathematical Society77, No. 396, 1989.

4. Blok, W. J., and D. Pigozzi, ‘Algebraic Semantics for Universal Horn Logic Without Equality’, in A. Romanowska and J. D. H. Smith (eds.), Universal Algebra and Quasigroup Theory, Heldermann Verlag, Berlin, 1992.

5. Borceux, F., Handbook of Categorical Algebra, Encyclopedia of Mathematics and its Applications, Vol. 50, Cambridge University Press, Cambridge, U.K., 1994.

6. Czelakowski, J., ‘Equivalential Logics’ I, II, Studia Logica 40 (1981), 227–236, 355–372.

   Google Scholar 

7. Czelakowski J., (1984) ‘Filter Distributive Logics’. Studia Logica 43: 353–377

   Article  Google Scholar 

8. Czelakowski, J., Protoalgebraic Logics, Studia Logica Library 10, Kluwer, Dordrecht, 2001.

9. Czelakowski, J., ‘The Suszko Operator’. Part I., Studia Logica 74, 1/2 (2003), 181–231.

10. Czelakowski, J., and W. Dziobiak, ‘A Deduction Theorem Schema for Deductive Systems of Propositional Logics’, in W. Blok and D. Pigozzi, (eds.), Special Isuue on Algebraic Logic. Studia Logica 50 (1991), 385–390.

11. Czelakowski J., and Jansana R.(2000) ‘Weakly Algebraizable Logics’. Journal of Symbolic Logic 64: 641–668

    Google Scholar 

12. Fiadeiro, J., and A. Sernadas, ‘Structuring Theories on Consequence’, in D. Sannella and A. Tarlecki (eds.), Recent Trends in Data Type Specification, Lecture Notes in Computer ScienceVol. 332, Springer-Verlag, New York 1988, pp. 44–72.

13. Font, J. M., and R. Jansana, A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic vol. 332, 7 (1996), Springer-Verlag, Berlin Heidelberg, 1996.

14. Font, J. M., R. Jansana, and D. Pigozzi, ‘A Survey of Abstract Algebraic Logic’, Studia Logica 74, 1/2 (2003), 13–97.

15. Goguen, J. A., and R.M. Burstall, ‘Introducing Institutions’, in E. Clarke and D. Kozen (eds.), Proceedings of the Logic of Programming Workshop, Lecture Notes in Computer Science vol. 164, Springer-Verlag, New York, 1984, pp. 221–256.

16. Goguen, J. A., and R.M. Burstall, ‘Institutions: Abstract Model Theory for Specification and Programming’, Journal of the Association for Computing Machinery39, 1 (1992), 95–146.

    Google Scholar 

17. Mac Lane, S., Categories for the Working Mathematician, Springer-Verlag, 1971.

18. Voutsadakis, G., Categorical Abstract Algebraic Logic, Doctoral Dissertation, Iowa State University, Ames, Iowa, 1998.

19. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Equivalent Institutions’, Studia Logica, 74, 1/2 (2003), 275–311.

20. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Algebraizable Institutions’, Applied Categorical Structures 10, 6 (2002), 531–568.

21. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Metalogical Properties’, Studia Logica74 (2003), 369–398.

    Google Scholar 

22. 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://www.voutsadakis.com/RESEARCH/papers.html

23. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Models of π-Institutions’, Notre Dame Journal of Formal Logic 46, 4 (2005), 439–460.

24. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Generalized Tarski Congruence Systems’, Submitted to Theory and Applications of Categories. Preprint available at http://www.voutsadakis.com/RESEARCH/papers.html

25. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: (\({\mathcal{I}}\), N)-Algebraic Systems’, Applied Categorical Structures13, 3 (2005), 265–280.

    Google Scholar 

26. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Gentzen π-Institutions’, Preprint available at http://www.voutsadakis.com/RESEARCH/papers.html

27. Voutsadakis G., (2006) ‘Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties’. Reports on Mathematical Logic 41: 31–62

    Google Scholar 

28. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: More on Protoalgebraicity’, Notre Dame Journal of Formal Logic 47, 4 (2006), 487–514.

29. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Weakly Algebraizable π-Institutions’, Submitted to Studia Logica. Preprint available at http://www.voutsadakis.com/RESEARCH/papers.html

30. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Equivalential π-Institutions’, To appear in the Australasian Journal of Logic.Preprint available at http://www.voutsadakis.com/RESEARCH/papers.html

31. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Bloom’s Theorem for Rule-Based π-Institutions’, Submitted to the Logic Journal of the IGPL. Preprint available at http://www.voutsadakis.com/RESEARCH/papers.html

Download references