Pages that link to "Item:Q3224007"

The following pages link to Extensional Logic of Hyperintensions (Q3224007):

Displaying 4 items.

• 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)
• Qualifying Quantifying-in (Q3299527) (← links)
• Introduction (Q5965779) (← links)