Pages that link to "Item:Q689211"
From MaRDI portal
The following pages link to A functional partial semantics for intensional logic (Q689211):
Displaying 6 items.
- Classical logic with partial functions (Q438568) (← links)
- Partial functions in type theory (Q689208) (← links)
- A Free Logic for Stable Models with Partial Intensional Functions (Q2938505) (← links)
- Интенсиональные семантики для некоторых систем позитивной силлогистики (Q5059696) (← links)
- (Q5411496) (← links)
- Propositional type theory of indeterminacy (Q6642826) (← links)