Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas

DOI10.1002/MALQ.200610034MaRDI QIDQ3437039zbMATH OpenOpenAlexWikidataFDO

Authors George Voutsadakis

Publication date 11 May 2007

Published in MLQ (Search for Journal in Brave)

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

zbMATH Keywords

congruence systemsdiagram lemmaLeibniz congruence systemsreduction operator lemmastructure systems

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Recommendations

• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Categorical abstract algebraic logic: operators on classes of structures systems
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• Categorical abstract algebraic logic: The categorical Suszko operator
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• scientific article; zbMATH DE number 5141220
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
• Categorical abstract algebraic logic: Algebraizable institutions
• Categorical abstract algebraic logic: (,N)-algebraic systems

Cites work

• Algebraic Characterizations for Universal Fragments of Logic
• Categorical abstract algebraic logic: Algebraizable institutions
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Categorical abstract algebraic logic: more on protoalgebraicity
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 1004875 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 6257807 (Why is no real title available?)
• Model Theory
• Protoalgebraic logics

Cited in

(5)

• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Categorical abstract algebraic logic: operators on classes of structures systems
• scientific article; zbMATH DE number 6257807 (Why is no real title available?)
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems

This page was built for publication: Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3437039)