Pages that link to "Item:Q5006839"
From MaRDI portal
The following pages link to Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839):
Displaying 4 items.
- 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)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350) (← links)
