A global glance on categories in logic

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

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

• The logic of structures
• Title not available (Why is that?)
• On the universality of atomic and molecular logics via protologics
• Homotopical Categories of Logics
• A survey on categories of logics and algebraizable logics
• Title not available (Why is that?)

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)