Pages that link to "Item:Q3224007"
From MaRDI portal
The following pages link to Extensional Logic of Hyperintensions (Q3224007):
Displaying 16 items.
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- Transparent quantification into hyperintensional objectual attitudes (Q514087) (← links)
- Number of extensions of non-Fregean logics (Q815015) (← links)
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic (Q967450) (← links)
- A non-compactness phenomenon in logics with hyperintensional predication (Q1264134) (← 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)
- Hyperintensional logics for everyone (Q2693110) (← links)
- Extensionalism and induction in Boole (Q2838262) (← links)
- (Q3035258) (← links)
- Qualifying Quantifying-in (Q3299527) (← links)
- (Q3609632) (← links)
- Base-extension semantics for intuitionistic sentential logic (Q4644597) (← links)
- Axiomatic Extensions of Hohle's Monoidal Logic (Q4902373) (← links)
- (Q5311056) (← links)
- Introduction (Q5965779) (← links)