Table of Contents Author Guidelines Submit a Manuscript
Journal of Mathematics
Volume 2013, Article ID 126347, 8 pages
http://dx.doi.org/10.1155/2013/126347
Research Article

Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems

School of Mathematics and Computer Science, Lake Superior State University, Sault Sainte Marie, MI 49783, USA

Received 20 December 2012; Accepted 11 March 2013

Academic Editor: Abdul Hamid Kara

Copyright © 2013 George Voutsadakis. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. D. M. Gabbay, “Fibred semantics and the weaving of logics. I. Modal and intuitionistic logics,” Journal of Symbolic Logic, vol. 61, no. 4, pp. 1057–1120, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  2. A. Sernadas, C. Sernadas, and C. Caleiro, “Fibring of logics as a categorial construction,” Journal of Logic and Computation, vol. 9, no. 2, pp. 149–179, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  3. C. Caleiro, W. Carnielli, J. Rasga, and C. Sernadas, “Fibring of logics as a universal construction,” in Handbook of Philosophical Logic, vol. 13, pp. 123–187, 2nd edition, 2005. View at Publisher · View at Google Scholar
  4. A. Zanardo, A. Sernadas, and C. Sernadas, “Fibring: completeness preservation,” Journal of Symbolic Logic, vol. 66, no. 1, pp. 414–439, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. V. L. Fernández and M. E. Coniglio, “Fibring in the Leibniz hierarchy,” Logic Journal of the IGPL, vol. 15, no. 5-6, pp. 475–501, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  6. W. J. Blok and D. Pigozzi, “Algebraizable logics,” Memoirs of the American Mathematical Society, vol. 77, no. 396, 1989. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. J. Czelakowski, Protoalgebraic Logics, vol. 10 of Trends in Logic-Studia Logica Library, Kluwer Academic, Dodrecht, The Netherlands, 2001. View at Publisher · View at Google Scholar · View at MathSciNet
  8. J. M. Font, R. Jansana, and D. Pigozzi, “A survey of abstract algebraic logic,” Studia Logica, vol. 74, no. 1-2, pp. 13–97, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. M. A. Martins and G. Voutsadakis, “Malinowski Modalization, Modalization through Fibring and the Leibniz Hierarchy,” http://www.voutsadakis.com/RESEARCH/papers.html.
  10. J. Malinowski, “Modal equivalential logics,” The Journal of Non-Classical Logic, vol. 3, no. 2, pp. 13–35, 1986. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  11. A. Sernadas, C. Sernadas, and J. Rasga, “On combined connectives,” Logica Universalis, vol. 5, no. 2, pp. 205–224, 2011. View at Publisher · View at Google Scholar · View at MathSciNet
  12. A. Sernadas, C. Sernadas, and J. Rasga, “On meet-combination of logics,” Journal of Logic and Computation, vol. 22, no. 6, pp. 1453–1470, 2012. View at Google Scholar
  13. G. Voutsadakis, “Categorical abstract algebraic logic: algebraizable institutions,” Applied Categorical Structures, vol. 10, no. 6, pp. 531–568, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. G. Voutsadakis, “Categorical abstract algebraic logic: equivalent institutions,” Studia Logica, vol. 74, no. 1-2, pp. 275–311, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. G. Voutsadakis, “Categorical abstract algebraic logic: algebraic semantics for pi-Institutions,” Mathematical Logic Quarterly. In press.
  16. M. Barr and C. Wells, Category Theory for Computing Science, Les Publications CRM, Montreal, Canada, 3rd edition, 1999. View at Zentralblatt MATH
  17. F. Borceux, Handbook of Categorical Algebra, Vol. I, Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge, UK, 1994.
  18. S. Mac Lane, Categories for the Working Mathematician, Springer, New York, NY, USA, 1971. View at MathSciNet