A global glance on categories in logic
type: Item
instance of: scholarly article
title: A global glance on categories in logic
zbMATH Open document ID: 1119.03071
author: Rodrigo de Alvarenga Freire
author: Odilon Otavio Luciano
author: Hugo L. Mariano
author: P. F. Arndt
published in: Logica Universalis
publication date: 2007-04-10T00:00:00Z
review text: 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.
reviewed by: Dana Piciu
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 18C35
zbMATH DE Number: 5141195
zbMATH Keywords: signatures
zbMATH Keywords: accessible categories
zbMATH Keywords: locally presentable categories
zbMATH Keywords: categories of logics
zbMATH Keywords: finitary structural logics
zbMATH Keywords: algebraizable logics
MaRDI profile type: Publication
full work available at URL: s11787-006-0002-7
OpenAlex ID: W2036881670
DOI: 10.1007/S11787-006-0002-7
description: scientific article; zbMATH DE number 5141195