Pages that link to "Item:Q1844821"

The following pages link to A logical calculus with descriptions (Q1844821):

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)
• Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
• Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)