A global glance on categories in logic (Q874746): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 02:27, 5 March 2024
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
