The following pages link to (Q4465171):
Displayed 12 items.
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Fregean logics (Q598302) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)