A global glance on categories in logic (Q874746)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A global glance on categories in logic |
scientific article |
Statements
A global glance on categories in logic (English)
0 references
10 April 2007
0 references
In this paper the authors explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. They illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.
0 references
signatures
0 references
accessible categories
0 references
locally presentable categories
0 references
categories of logics
0 references
finitary structural logics
0 references
algebraizable logics
0 references
