A global glance on categories in logic

DOI10.1007/S11787-006-0002-7zbMath1119.03071OpenAlexW2036881670MaRDI QIDQ874746

Rodrigo de Alvarenga Freire, Hugo Luiz Mariano, Odilon Otavio Luciano, Peter F. Arndt

Publication date: 10 April 2007

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-006-0002-7

zbMATH Keywords

algebraizable logicssignaturesaccessible categorieslocally presentable categoriescategories of logicsfinitary structural logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Accessible and locally presentable categories (18C35) Abstract deductive systems (03B22)

Related Items (3)

On the universality of atomic and molecular logics via protologics ⋮ A survey on categories of logics and algebraizable logics ⋮ Homotopical Categories of Logics

This page was built for publication: A global glance on categories in logic