The following pages link to (Q4463929):
Displayed 4 items.
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← 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)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← links)