Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence

DOI10.1002/malq.200710078zbMath1182.03111OpenAlexW1968004538MaRDI QIDQ5505141

George Voutsadakis

Publication date: 23 January 2009

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710078

zbMATH Keywords

correspondenceprotoalgebraicitystructurality\(\pi\)-institutiontransferability of rules

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract algebraic logic (03G27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A survey of abstract algebraic logic
• Categorical abstract algebraic logic: more on protoalgebraicity
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based  -Institutions

This page was built for publication: Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence