Combining algebraizable logics

DOI10.1305/NDJFL/1040046092zbMATH Open0858.03065OpenAlexW1964587839MaRDI QIDQ1815433FDOQ1815433

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

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

zbMATH Keywords

interpretationconsequence relationfirst-order logiccategoryquasivarietyalgebraizable logicscolimitalgebraizable deductive system

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Algebraizable logics
• Title not available (Why is that?)
• A mathematical characterization of interpretation between theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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
• Title not available (Why is that?)
• On the structure of varieties with equationally definable principal congruences. II
• 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)