Pages that link to "Item:Q5224577"
From MaRDI portal
The following pages link to Cut-free modal theory of definite descriptions (Q5224577):
Displaying 11 items.
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Proof-theory and semantics for a theory of definite descriptions (Q2142067) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Russell's Theory of Definite Descriptions* (Q3486537) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← 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)
- Hybrid modal operators for definite descriptions (Q6545576) (← links)
- The logicality of equality (Q6612870) (← links)