Pages that link to "Item:Q4925174"
From MaRDI portal
The following pages link to Procedural isomorphism, analytic information and -conversion by value (Q4925174):
Displaying 7 items.
- Transparent quantification into hyperintensional objectual attitudes (Q514087) (← links)
- On the number of types (Q1708962) (← links)
- If structured propositions are logical procedures then how are procedures individuated? (Q2052189) (← links)
- Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323) (← links)
- Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach (Q4565827) (← links)
- Substitution inconsistencies in Transparent Intensional Logic (Q5862004) (← links)
- First among equals: co-hyperintensionality for structured propositions (Q6142500) (← links)