A survey on categories of logics and algebraizable logics
From MaRDI portal
(Redirected from Publication:498003)
Recommendations
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)
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)