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 7 items.
- Anatomy of a proposition (Q2052190) (← links)
- Structured propositions and trivial composition (Q2055916) (← links)
- Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323) (← links)
- Structures and circumstances: two ways to fine-grain propositions (Q2441797) (← 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)