The following pages link to (Q4023225):
Displaying 7 items.
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Free Logic (Q4805349) (← links)
- Denotation and description in free logic* (Q4861490) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)