Pages that link to "Item:Q5434205"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: The categorical Suszko operator (Q5434205):
Displaying 5 items.
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← 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)
- (Q5747514) (← links)
- The Suszko operator relative to truth‐equational logics (Q6047682) (← links)