Skip to main content
SpringerLink
Log in

A Global Glance on Categories in Logic

  • Published:
Logica Universalis Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. Group for Theoretical and Applied Logic, IFCH and CLE—UNICAMP, P.O. Box 6133, BR-13083-970, Campinas, SP, Brazil

    Peter Arndt & Rodrigo de Alvarenga Freire

  2. IME—USP, Rua do Matão, 1010, BR-05508-090, São Paulo, SP, Brazil

    Odilon Otavio Luciano & Hugo Luiz Mariano

Authors
  1. Peter Arndt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rodrigo de Alvarenga Freire
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Odilon Otavio Luciano
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hugo Luiz Mariano
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Peter Arndt.

Additional information

Mathematics Subject Classification (2000): Primary 03B22; Secondary 18C35.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Arndt, P., Freire, R.d.A., Luciano, O.O. et al. A Global Glance on Categories in Logic. Log. univers. 1, 3–39 (2007). https://doi.org/10.1007/s11787-006-0002-7

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-006-0002-7

Keywords.

Search

Navigation