A global glance on categories in logic (Q874746)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A global glance on categories in logic |
scientific article; zbMATH DE number 5141195
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A global glance on categories in logic |
scientific article; zbMATH DE number 5141195 |
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
0.799439013004303
0 references
0.7979443073272705
0 references
0.7977480292320251
0 references
0.75543212890625
0 references
