Pages that link to "Item:Q2052189"
From MaRDI portal
The following pages link to If structured propositions are logical procedures then how are procedures individuated? (Q2052189):
Displaying 4 items.
- Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323) (← links)
- Substitution inconsistencies in Transparent Intensional Logic (Q5862004) (← links)
- On the fundamental role of `means that' in semantic theorizing (Q6053836) (← links)
- First among equals: co-hyperintensionality for structured propositions (Q6142500) (← links)
