The following pages link to (Q4793387):
Displaying 8 items.
- A binary quantifier for definite descriptions for cut free free logics (Q2115288) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Free Logic (Q4805349) (← links)
- Talking about nothing (Q5006832) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic (Q5126200) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)