The following pages link to (Q5271676):
Displaying 5 items.
- Quantifier-free versions of first order logic and their psychological significance (Q1187977) (← links)
- Level logics (Q1807461) (← links)
- Free-quantifier functional logics of partial quasi-ary predicates (Q2819023) (← links)
- A Free Logic for Stable Models with Partial Intensional Functions (Q2938505) (← links)
- On supervaluations in free logic (Q3731571) (← links)