A global glance on categories in logic

DOI10.1007/S11787-006-0002-7zbMATH Open1119.03071OpenAlexW2036881670MaRDI QIDQ874746FDOQ874746

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

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

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)

Cited In (7)

• The logic of structures
• Homotopical categories of logics
• Title not available (Why is that?)
• On the universality of atomic and molecular logics via protologics
• A survey on categories of logics and algebraizable logics
• Title not available (Why is that?)
• 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)