Pages that link to "Item:Q1117920"

The following pages link to On certain normalizable natural deduction formulations of some propositional intermediate logics (Q1117920):

Displaying 2 items.

• Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
• An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)