Pages that link to "Item:Q2142067"
From MaRDI portal
The following pages link to Proof-theory and semantics for a theory of definite descriptions (Q2142067):
Displaying 9 items.
- Explicit provability and constructive semantics (Q2732527) (← links)
- Russell's Theory of Definite Descriptions* (Q3486537) (← links)
- (Q3699662) (← links)
- (Q5197384) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350) (← links)
- Proof-Theory and Semantics for a Theory of Definite Descriptions (Q6374825) (← 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)