The following pages link to Contextual deduction theorems (Q647412):
Displayed 4 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- The simplest protoalgebraic logic (Q5396225) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)