A survey on categories of logics and algebraizable logics

DOI10.1007/S40863-015-0005-5MaRDI QIDQ498003zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

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

Cited in

(4)

• A global glance on categories in logic
• Update to ``A survey of abstract algebraic logic
• Algebraizable logics and a functorial encoding of its morphisms
• scientific article; zbMATH DE number 7052238 (Why is no real title available?)

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)