Pages that link to "Item:Q694491"

The following pages link to Natural deduction for dual-intuitionistic logic (Q694491):

Displaying 3 items.

• A more general general proof theory (Q1688710) (← links)
• Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
• Natural deduction for bi-intuitionistic logic (Q1693596) (← links)