Combining algebraizable logics

DOI10.1305/ndjfl/1040046092zbMath0858.03065OpenAlexW1964587839MaRDI QIDQ1815433

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

first-order logiccategoryconsequence relationquasivarietyalgebraizable logicsinterpretationcolimitalgebraizable deductive system

Mathematics Subject Classification ID

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

Related Items (3)

Topological representation of intuitionistic and distributive abstract logics ⋮ A survey on categories of logics and algebraizable logics ⋮ Homotopical Categories of Logics

Cites Work

• A mathematical characterization of interpretation between theories
• Algebraizable logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Combining algebraizable logics