A survey on categories of logics and algebraizable logics

DOI10.1007/s40863-015-0005-5zbMath1388.03065OpenAlexW2220084639WikidataQ121620362 ScholiaQ121620362MaRDI QIDQ498003

Darllan Conceição Pinto

Publication date: 25 September 2015

Published in: São Paulo Journal of Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s40863-015-0005-5

zbMATH Keywords

algebraizable logicscategory of logicsrepresentation of logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Other algebras related to logic (03G25) Special categories (18B99) Combined logics (03B62)

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A global glance on categories in logic
• From fibring to cryptofibring. A solution to the collapsing problem
• Combining algebraizable logics
• Transfers between logics and their applications
• Fibring non-truth-functional logics: Completeness preservation
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Fibring: completeness preservation
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Algebraizable logics
• Accessible Categories: The Foundations of Categorical Model Theory
• Fibring of logics as a categorial construction
• Fibring Logics with Topos Semantics
• Modulated fibring and the collapsing problem
• Protoalgebraic logics