More fragments of language

Notre Dame Journal of Formal Logic

Volumn 47, Issue 2, 2006, Pages 151-177

  Pratt Hartmann, Ian ^a   Third, Allan ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

Complexity; Logic; Natural language; Theorem proving

Indexed keywords

EID: 57849115811     PISSN: 00294527     EISSN: None     Source Type: Journal    
DOI: 10.1305/ndjfl/1153858644     Document Type: Article

References (16)

1. Andréka, H., I. Németi, and J. van Benthem, "Modal languages and bounded fragments of predicate logic," Journal of Philosophical Logic, vol. 27 (1998), pp. 217-74. Zbl 0919.03013. MR 1624137. 174
2. Börger, E., E. Grädel, and Y. Gurevich, The Classical Decision Problem, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1997. Zbl 0865.03004. MR 1482227. 168, 172, 174
3. Fitch, F. B., "Natural deduction rules for English," Philosophical Studies, vol. 24 (1973), pp. 89-104. 175
4. Fyodorov, Y., Y. Winter, and N. Francez, "Order-based inference in natural logic," Logic Journal of the IGPL, vol. 11 (2004), pp. 385-416. Zbl 0919.03013. MR 2045204. 175
5. Harel, D., D. Kozen, and J. Tiuryn, Dynamic Logic, Foundations of Computing Series, The MIT Press, Cambridge, 2000. Zbl 0976.68108. MR 1791342. 163
6. Leitsch, A., The Resolution Calculus, Texts in Theoretical Computer Science, Springer Verlag, Berlin, 1997. Zbl 0867.68095. MR 1482229. 155, 163
7. McAllester, D. A., and R. Givan, "Natural language syntax and first-order inference," Artificial Intelligence, vol. 56 (1992), pp. 1-20. Zbl 0761.68084. MR 1171967. 174
8. Mortimer, M., "On languages with two variables," Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 135-40. Zbl 0343.02009. MR 0396245. 174
9. Pratt-Hartmann, I., "A two-variable fragment of English," Journal of Logic, Language and Information, vol. 12 (2003), pp. 13-45. Zbl 1012.03038. MR 1953966. 152, 170, 171
10. Pratt-Hartmann, I., "Fragments of language," Journal of Logic, Language and Information, vol. 13 (2004), pp. 207-223. Zbl 1046.03014. MR 2057376. 152, 153, 161, 163, 171, 174
11. Purdy, W. C., "A logic for natural language," Notre Dame Journal of Formal Logic, vol. 32 (1991), pp. 409-25. Zbl 0746.03018. MR 1124594. 175
12. Purdy,W. C., "Surface reasoning," Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 13-36. Zbl 0766.03019. MR 1149956. 175
13. Purdy, W. C., "A variable-free logic for mass terms," Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 348-58. Zbl 0759.03019. MR 1184066. 175
14. Purdy, W. C., "Fluted formulas and the limits of decidability," The Journal of Symbolic Logic, vol. 61 (1996), pp. 608-20. Zbl 0858.03012. MR 1394617. 174
15. Purdy, W. C., "Complexity and nicety of ?uted logic," Studia Logica, vol. 71 (2002), pp. 177-98. Zbl 1002.03010. MR 1917866. 175
16. Suppes, P., "Logical inference in English: A preliminary analysis," Studia Logica, vol. 38 (1979), pp. 375-91. Zbl 0438.03003. MR 0572030. 175