Pages that link to "Item:Q5013624"

The following pages link to Definite Descriptions in Intuitionist Positive Free Logic (Q5013624):

Displaying 5 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)
• Eigenvariables, bracketing and the decidability of positive minimal predicate logic (Q2503325) (← links)
• A cut-free, sound and complete Russellian theory of definite descriptions (Q6541147) (← links)
• Towards proof-theoretic formulation of the general theory of term-forming operators (Q6541148) (← links)