The following pages link to (Q4012888):
Displaying 5 items.
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- Free semantics (Q600848) (← links)
- Validity concepts in proof-theoretic semantics (Q2500820) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- The practice of logical frameworks (Q5878905) (← links)
