共 50 条
- [21] Proof-Theory and Semantics for a Theory of Definite Descriptions AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 95 - 111
- [23] WHAT IS RUSSELL'S THEORY OF DESCRIPTIONS ABOUT? (REMARKS ABOUT "ON DENOTING") FILOSOFICKY CASOPIS, 2013, : 27 - 46
- [25] A presuppositional analysis of definite descriptions in proof theory NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2008, 4914 : 214 - 227
- [26] A MORE GENERAL-THEORY OF DEFINITE DESCRIPTIONS PHILOSOPHICAL REVIEW, 1980, 89 (04): : 607 - 624