Pages that link to "Item:Q5414135"
From MaRDI portal
The following pages link to ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS (Q5414135):
Displaying 8 items.
- Quantifier-free versions of first order logic and their psychological significance (Q1187977) (← links)
- Compositionality solves Carnap's problem (Q1706739) (← links)
- Completeness and decidability of general first-order logic (with a detour through the guarded fragment) (Q2363413) (← links)
- On a new semantics for first-order predicate logic (Q2363414) (← links)
- Semantic Nominalism: How I Learned to Stop Worrying and Love Universals (Q3295811) (← links)
- Life on the Range: Quine’s Thesis and Semantic Indeterminacy (Q3299524) (← links)
- On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745) (← links)
- Carnap's problem, definability and compositionality (Q6623816) (← links)