Pages that link to "Item:Q4842274"
From MaRDI portal
The following pages link to The Functional Interpretation of the Existential Quantifier (Q4842274):
Displaying 4 items.
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Functional interpretation and the existence property (Q3159413) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)
- Generalized quantification as substructural logic (Q5687328) (← links)