The following pages link to (Q4011715):
Displaying 9 items.
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Review of ``Protoalgebraic logics'' by J. Czelakowski (Q1422455) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- An algebra and a logic for \(NC^ 1\) (Q2638772) (← links)
- Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators (Q2946724) (← links)
- Algebraizable logics (Q3815297) (← links)
- (Q4026931) (← links)
- Characterizing Belnap's Logic via De Morgan's Laws (Q4857857) (← links)
