The following pages link to (Q5556399):
Displaying 5 items.
- A sequent calculus for a negative free logic (Q622624) (← links)
- A free logic with intensions as possible values of terms (Q1228607) (← links)
- A modest logic of plurals (Q2499303) (← links)
- The lazy logic of partial terms (Q4779651) (← links)
- Single-domain free logic and the problem of compositionality (Q6067309) (← links)
