Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

DOI10.1215/00294527-2864343zbMath1333.03269OpenAlexW2009110065MaRDI QIDQ2354626

George Voutsadakis

Publication date: 20 July 2015

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

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1429277356

zbMATH Keywords

Leibniz operatordeductive systemscategorical abstract algebraic logictruth-equational logicalgebraizable logics, equivalential logics

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• Equivalential logics. I
• Equivalential logics. II
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• A survey of abstract algebraic logic
• Algebraic semantics for deductive systems
• The Suszko operator. I
• Categorical abstract algebraic logic: Equivalent institutions
• Categorical abstract algebraic logic: Algebraizable institutions
• Categorical abstract algebraic logic: more on protoalgebraicity
• Equivalential and algebraizable logics
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Multi-term π-institutions and their equivalence
• Algebraizable logics
• Institutions: abstract model theory for specification and programming
• Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions
• Categorical abstract algebraic logic: The categorical Suszko operator
• Protoalgebraic logics

This page was built for publication: Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions