Advertisement

Logica Universalis

, Volume 1, Issue 1, pp 3–39 | Cite as

A Global Glance on Categories in Logic

  • Peter ArndtEmail author
  • Rodrigo de Alvarenga Freire
  • Odilon Otavio Luciano
  • Hugo Luiz Mariano
Article

Abstract.

We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.

Keywords.

Logics signatures categories accessible categories locally presentable categories 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag Basel/Switzerland 2007

Authors and Affiliations

  • Peter Arndt
    • 1
    Email author
  • Rodrigo de Alvarenga Freire
    • 1
  • Odilon Otavio Luciano
    • 2
  • Hugo Luiz Mariano
    • 2
  1. 1.Group for Theoretical and Applied LogicIFCH and CLE—UNICAMPCampinasBrazil
  2. 2.IME—USPSão PauloBrazil

Personalised recommendations