Combining algebraizable logics

DOI10.1305/NDJFL/1040046092MaRDI QIDQ1815433zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 12 November 1996

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040046092

zbMATH Keywords

algebraizable deductive systemalgebraizable logicscategorycolimitconsequence relationfirst-order logicinterpretationquasivariety

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Algebraic logic (03G99) Quasivarieties (08C15)

Review text

Combining algebraizable logics is regarded in the paper as forming their colimit in the category ALOG of algebraizable logical systems. (The authors use the latter term just for what is called an algebraizable deductive system by \textit{W. J. Blok} and \textit{D. Pigozzi}, Algebraizable logics, Mem. Am. Math. Soc. 396 (1989; Zbl 0664.03042)].) In fact, two categories are dealt with. It is proved that ALOG is isomorphic to a certain category QVAR of first-order theories each related to some ``deductivized quasivariety of a fixed type. Moreover, it is the category QVAR that is shown to be small-cocomplete. The paper ends with a sketchy program for further studies of combining arbitrary logics by translating them into ordinary first-order logic.

Recommendations

• Algebraizable logics
• On amalgamation in algebras of logic
• Equivalential and algebraizable logics
• Algebraizable logics with a strong conjunction and their semi-lattice based companions
• Algebraic semantics for hybrid logics
• scientific article; zbMATH DE number 6008338
• Mixed algebras and their logics
• scientific article; zbMATH DE number 567281
• scientific article; zbMATH DE number 4183416
• Algebraization of Non-structural Logics

Cites work

• A mathematical characterization of interpretation between theories
• Algebraizable logics
• scientific article; zbMATH DE number 3847387 (Why is no real title available?)
• scientific article; zbMATH DE number 3746453 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3791621 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 753782 (Why is no real title available?)
• scientific article; zbMATH DE number 868084 (Why is no real title available?)
• scientific article; zbMATH DE number 3104610 (Why is no real title available?)

Cited in

(8)

• Coproduct and amalgamation of deductive systems by means of ordered algebras
• Topological representation of intuitionistic and distributive abstract logics
• scientific article; zbMATH DE number 1086718 (Why is no real title available?)
• Algebraizable logics and a functorial encoding of its morphisms
• A survey on categories of logics and algebraizable logics
• Homotopical categories of logics
• Algebraization of Hybrid Logic with Binders
• On the structure of varieties with equationally definable principal congruences. II

This page was built for publication: Combining algebraizable logics

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