Pages that link to "Item:Q2254558"

The following pages link to Towards a more general concept of inference (Q2254558):

Displaying 5 items.

• Composition of deductions within the propositions-as-types paradigm (Q2228351) (← links)
• The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract) (Q2695540) (← links)
• Existential Import and Relations of Categorical and Modal Categorical Statements (Q3121968) (← links)
• The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
• The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)