The following pages link to Indiscernibility of identicals (Q1091378):
Displaying 13 items.
- Transparent quantification into hyperintensional objectual attitudes (Q514087) (← links)
- Predication and extensionalization (Q1029819) (← links)
- Mindful logic: How to resolve some paradoxes of identity (Q1105583) (← links)
- Rules of existential quantification into ``intensional contexts'' (Q1378427) (← links)
- A new logic of technical malfunction (Q2377053) (← links)
- Strict identity with no overlap (Q2500777) (← links)
- Qualifying Quantifying-in (Q3299527) (← links)
- On Understanding and Believing (Q3679151) (← links)
- Intensional identities (Q3977030) (← links)
- Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach (Q4565827) (← links)
- The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
- Substitution inconsistencies in Transparent Intensional Logic (Q5862004) (← links)
- Puzzles of existential generalisation from type-theoretic perspective (Q6659899) (← links)
