A global glance on categories in logic

Logica Universalis 1 (1):3-39 (2007)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 74,181

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Accessible Categories, Saturation and Categoricity.Jiří Rosický - 1997 - Journal of Symbolic Logic 62 (3):891-901.
Smooth Categories and Global □.Ronald B. Jensen & Martin Zeman - 2000 - Annals of Pure and Applied Logic 102 (1-2):101-138.
Nicolás de Cusa o la recuperación del Universo.Mariano Brasa Díez - 1996 - Anales Del Seminario de Historia de la Filosofía 13 (S1):129-136.
The Construction of Ontological Categories.Jan Westerhoff - 2004 - Australasian Journal of Philosophy 82 (4):595 – 620.
Los pilares del "De Docta Ignorantia" de Nicolás de Cusa.Mariano Brasa Díez - 1989 - Anales Del Seminario de Historia de la Filosofía 7:129.
Purity, Spectra and Localisation.Mike Prest - 2009 - Cambridge University Press.
The Maximality of Cartesian Categories.Z. Petric & K. Dosen - 2001 - Mathematical Logic Quarterly 47 (1):137-144.
Axiomatizing a Category of Categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
Logic and Grammar.Joachim Lambek - 2012 - Studia Logica 100 (4):667-681.


Added to PP

48 (#241,463)

6 months
1 (#413,813)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rodrigo De Freire
Universidade de Brasília

References found in this work

No references found.

Add more references