The following pages link to Contextual deduction theorems (Q647412):
Displaying 8 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Local deductions theorems (Q1090668) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Deductive closure and epistemic context (Q2904034) (← links)
- (Q3086724) (← links)
- Contextual Natural Deduction (Q3455860) (← links)
- The simplest protoalgebraic logic (Q5396225) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)