Pages that link to "Item:Q5215499"

The following pages link to Fregean Description Theory in Proof-Theoretical Setting (Q5215499):

Displayed 10 items.

• Leśniewski's ontology -- proof-theoretic characterization (Q2104542) ‎ (← links)
• A binary quantifier for definite descriptions for cut free free logics (Q2115288) ‎ (← links)
• Tableaux for free logics with descriptions (Q2142064) ‎ (← 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)
• Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic (Q5126200) ‎ (← links)
• A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation (Q5241405) ‎ (← links)
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350) ‎ (← links)
• A novel approach to equality (Q6142508) ‎ (← links)