The following pages link to (Q3751562):
Displaying 5 items.
- A perspective on modal sequent logic (Q1187165) (← links)
- Are the open-ended rules for negation categorical? (Q2695402) (← links)
- Uniquely representing ``a preference for uniformity'' (Q2867469) (← links)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)