A global glance on categories in logic

DOI10.1007/S11787-006-0002-7MaRDI QIDQ874746zbMATH OpenOpenAlexFDO

Authors Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo L. Mariano, P. 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

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

Recommendations

• The logic of structures
• Logic in category theory
• A survey on categories of logics and algebraizable logics
• scientific article; zbMATH DE number 2079262
• On some connections between logic and category theory

Cited in

(7)

• The logic of structures
• Homotopical categories of logics
• scientific article; zbMATH DE number 1531625 (Why is no real title available?)
• On the universality of atomic and molecular logics via protologics
• A survey on categories of logics and algebraizable logics
• scientific article; zbMATH DE number 2079262 (Why is no real title available?)
• Models, logics, and higher-dimensional categories: A tribute to the work of Mihály Makkai. Proceedings of a conference, CRM, Montréal, Canada, June 18--20, 2009

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q874746)