Pages that link to "Item:Q253123"

The following pages link to Incomplete symbols -- definite descriptions revisited (Q253123):

Displaying 5 items.

• The epsilon-reconstruction of theories and scientific structuralism (Q334861) (← 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)
• Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
• Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)