Pages that link to "Item:Q2254564"

The following pages link to Harmony in multiple-conclusion natural-deduction (Q2254564):

Displayed 3 items.

• A proof-theoretic semantics for adjectival modification (Q683680) ‎ (← links)
• Calculi for many-valued logics (Q2045004) ‎ (← links)
• An alternative normalization of the implicative fragment of classical logic (Q2352461) ‎ (← links)