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

interpretationconsequence relationfirst-order logiccategoryquasivarietyalgebraizable logicscolimitalgebraizable deductive system

Mathematics Subject Classification ID

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

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

• 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?)
• A mathematical characterization of interpretation between theories
• Algebraizable logics

Cited in

(8)

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

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)