SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Logics for Linguistic Structures

Volumn , Issue , 2008, Pages 143-173

Completeness theorems for syllogistic fragments

(1) Moss, Lawrence S a

a INDIANA UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77955005359 PISSN: None EISSN: None Source Type: Book
DOI: None Document Type: Chapter

Times cited : (29)

References (14)

1
- 84885605869
- Proof-theoretic semantics for a syllogistic fragment
- ILLC/Department of Philosophy, University of Amsterdam
- Ben-Avi, Gilad and Nissim Francez 2005 Proof-theoretic semantics for a syllogistic fragment. In Proceedings of the Fifteenth Amsterdam Colloquium, 9-15. ILLC/Department of Philosophy, University of Amsterdam. Available from http://www.illc.uva.nl/AC05/uploaded files/AC05Proceedings.pdf
- (2005) Proceedings of the Fifteenth Amsterdam Colloquium , pp. 9-15
- Ben-Avi, G.¹ Francez, N.²

2
- 29144453960
- Completeness of an ancient logic
- Corcoran, John 1972 Completeness of an ancient logic. Journal of Symbolic Logic 37(4): 696-702
- (1972) Journal of Symbolic Logic , vol.37 , Issue.4 , pp. 696-702
- Corcoran, J.¹

3
- 0003482325
- Oxford: Clarendon Press, 2nd edition
- Lukasiewicz, Jan 1957 Aristotle's Syllogistic. Oxford: Clarendon Press, 2nd edition
- (1957) Aristotle's Syllogistic
- Lukasiewicz, J.¹

4
- 84989195272
- Aristotle's natural deduction revisited
- Martin, John N. 1997 Aristotle's natural deduction revisited. History and Philosophy of Logic 18(1): 1-15
- (1997) History and Philosophy of Logic , vol.18 , Issue.1 , pp. 1-15
- Martin, J.N.¹

5
- 0001790511
- Natural language syntax and first-order inference
- McAllester, David A. and Robert Givan 1992 Natural language syntax and first-order inference. Artificial Intelligence 56: 1-20
- (1992) Artificial Intelligence , vol.56 , pp. 1-20
- McAllester, D.A.¹ Givan, R.²

6
- 85064669458
- appear Syllogistic logics with verbs
- Moss, Lawrence S. to appear Syllogistic logics with verbs. Journal of Logic and Computation
- Journal of Logic and Computation
- Moss, L.S.¹

7
- 0025230062
- An extended syllogistic system with verbs and proper nouns, and its completeness proof
- Nishihara, Noritaka, Kenich Morita, and Shigenori Iwata 1990 An extended syllogistic system with verbs and proper nouns, and its completeness proof. Systems and Computers in Japan 21(1): 760-771
- (1990) Systems and Computers in Japan , vol.21 , Issue.1 , pp. 760-771
- Nishihara, N.¹ Morita, K.² Iwata, S.³

8
- 85050421887
- A two-variable fragment of English
- Pratt-Hartmann, Ian 2003 A two-variable fragment of English. Journal of Logic, Language, and Information 12: 13-45
- (2003) Journal of Logic, Language, and Information , vol.12 , pp. 13-45
- Pratt-Hartmann, I.¹

9
- 33745174332
- Fragments of language
- Pratt-Hartmann, Ian 2004 Fragments of language. Journal of Logic, Language, and Information 13: 207-223
- (2004) Journal of Logic, Language, and Information , vol.13 , pp. 207-223
- Pratt-Hartmann, I.¹

10
- 40749120010
- On the computational complexity of the numerically definite syllogistic and related logics
- Pratt-Hartmann, Ian 2008 On the computational complexity of the numerically definite syllogistic and related logics. Bulletin of Symbolic Logic 14(1): 1-28
- (2008) Bulletin of Symbolic Logic , vol.14 , Issue.1 , pp. 1-28
- Pratt-Hartmann, I.¹

11
- 57849115811
- More fragments of language
- Pratt-Hartmann, Ian and Allan Third 2006 More fragments of language. Notre Dame Journal of Formal Logic 47(2): 151-177
- (2006) Notre Dame Journal of Formal Logic , vol.47 , Issue.2 , pp. 151-177
- Pratt-Hartmann, I.¹ Third, A.²

12
- 84972539479
- A logic for natural language
- Purdy, William C. 1991 A logic for natural language. Notre Dame Journal of Formal Logic 32(3): 409-425
- (1991) Notre Dame Journal of Formal Logic , vol.32 , Issue.3 , pp. 409-425
- Purdy, W.C.¹

13
- 10644227369
- Questions about quantifiers
- van Benthem, Johan 1984 Questions about quantifiers. Journal of Symbolic Logic 49(2): 443-466
- (1984) Journal of Symbolic Logic , vol.49 , Issue.2 , pp. 443-466
- van Benthem, J.¹

14
- 34249971581
- Aristotelian syllogisms and generalized quantifiers
- Westerstahl, Dag 1989 Aristotelian syllogisms and generalized quantifiers. Studia Logica XLVIII(4): 577-585
- (1989) Studia Logica , vol.48 , Issue.4 , pp. 577-585
- Westerstahl, D.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.