The following pages link to (Q3962962):
Displayed 4 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Algebraic aspects of deduction theorems (Q1087867) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- The Deduction Theorem (Before and After Herbrand) (Q6098653) (← links)