The following pages link to (Q4575567):
Displaying 5 items.
- Acceptance, inference, and the multiple-conclusion sequent (Q383068) (← links)
- Forum: A multiple-conclusion specification logic (Q671512) (← links)
- Kneale's natural deductions as a notational variant of Beth's tableaus (Q2169120) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY (Q3094191) (← links)