Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems

DOI10.1007/978-3-319-74772-9_15zbMath1459.03103OpenAlexW2595248054MaRDI QIDQ4586425

George Voutsadakis

Publication date: 13 September 2018

Published in: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74772-9_15

zbMATH Keywords

algebraizable logicreduced modelequivalential logicLeibniz operatorprotoalgebraic logiclogical matrixfull modelSuszko operatorTarski operatorLeibniz filter

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Cites Work

• Fregean logics
• Leibniz-linked pairs of deductive systems
• 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
• Leibniz filters revisited
• A survey of abstract algebraic logic
• The Suszko operator. I
• Fregean logics with the multiterm deduction theorem and their algebraization
• Categorical abstract algebraic logic: Algebraizable institutions
• Categorical abstract algebraic logic: more on protoalgebraicity
• On the closure properties of the class of full G-models of a deductive system
• Equivalential and algebraizable logics
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
• Algebraizable logics
• Weakly algebraizable logics
• Categorical abstract algebraic logic: The categorical Suszko operator
• Protoalgebraic logics
• Leibniz filters and the strong version of a protoalgebraic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems