A global glance on categories in logic (Q874746): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Property / author | |||
| Property / author: Q874743 / rank | |||
| Property / author | |||
| Property / author: Peter F. Arndt / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s11787-006-0002-7 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2036881670 / rank | |||
Normal rank | |||
Latest revision as of 20:30, 19 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
