A survey on categories of logics and algebraizable logics

DOI10.1007/S40863-015-0005-5zbMATH Open1388.03065OpenAlexW2220084639WikidataQ121620362 ScholiaQ121620362MaRDI QIDQ498003FDOQ498003

Authors: 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

Recommendations

• A global glance on categories in logic
• Algebraizable logics and a functorial encoding of its morphisms
• A survey of abstract algebraic logic
• Combining algebraizable logics
• Algebraization of quantifier logics, an introductory overview

zbMATH Keywords

algebraizable logicscategory of logicsrepresentation of logics

Mathematics Subject Classification ID

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

Cites Work

• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Algebraizable logics
• Protoalgebraic logics
• Fibring: Completeness preservation
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Fibring of logics as a categorial construction
• Title not available (Why is that?)
• Combining algebraizable logics
• Transfers between logics and their applications
• Fibring non-truth-functional logics: Completeness preservation
• Title not available (Why is that?)
• Possible-translations algebraization for paraconsistent logics
• Fibring Logics with Topos Semantics
• Modulated fibring and the collapsing problem
• A global glance on categories in logic
• From fibring to cryptofibring. A solution to the collapsing problem

Cited In (4)

• Title not available (Why is that?)
• Algebraizable logics and a functorial encoding of its morphisms
• Update to ``A survey of abstract algebraic logic
• A global glance on categories in logic

This page was built for publication: A survey on categories of logics and algebraizable logics

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