Pages that link to "Item:Q6041350"
From MaRDI portal
The following pages link to RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350):
Displaying 9 items.
- The theory of descriptions revisited (Q1121871) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- (Q2763092) (← links)
- Russell's Theory of Definite Descriptions* (Q3486537) (← links)
- Propositional Structure and B. Russell's Theory of Denoting in<i>The Principles of Mathematics</i> (Q4670611) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- Cut-free modal theory of definite descriptions (Q5224577) (← 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)