Pages that link to "Item:Q878147"

The following pages link to Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147):

Displaying 10 items.

• On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
• The algebraic theory of order (Q1320342) (← links)
• Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179) (← links)
• Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
• Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
• Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions (Q4928968) (← links)
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence (Q5505141) (← links)
• (Q5747514) (← links)