Pages that link to "Item:Q5215499"
From MaRDI portal
The following pages link to Fregean Description Theory in Proof-Theoretical Setting (Q5215499):
Displaying 12 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)
- Towards proof-theoretic formulation of the general theory of term-forming operators (Q6541148) (← links)
- The logicality of equality (Q6612870) (← links)
