The following pages link to (Q4793386):
Displaying 7 items.
- A sequent calculus for a negative free logic (Q622624) (← links)
- A state-of-affairs-semantic solution to the problem of extensionality in free logic (Q830394) (← links)
- A binary quantifier for definite descriptions for cut free free logics (Q2115288) (← links)
- Proof-theory and semantics for a theory of definite descriptions (Q2142067) (← links)
- States of Affairs as Structured Extensions in Free Logic (Q5013627) (← links)
- Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic (Q5126200) (← links)
- Names and quantifiers: bringing them together in classical logic (Q6169325) (← links)
