Fluted formulas and the limits of decidability

Journal of Symbolic Logic

Volumn 61, Issue 2, 1996, Pages 608-620

  Purdy, William C ^a  

^a SYRACUSE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030540687     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275678     Document Type: Article

References (21)

1. PETER B. ANDREWS, An introduction to mathematical logic and type theory, Academic Press, Orlando, 1986.
2. MICHAEL A. ARBIB, A. J. KFOURY, and ROBERT N. MOLL, A basis for theoretical computer science, Springer-Verlag, New York, 1981.
3. HERBERT B. ENDERTON, A mathematical introduction to logic, Academic Press, New York, 1972.
4. JEAN H. GALLIER, Logic for computer science, Harper & Row, New York, 1986.
5. GEORGE GRÄTZER, General lattice theory, Academic Press, New York, 1978.
6. JAAKKO HINTIKKA, Surface information and depth information, Information and inference (J. Hintikka and P. Suppes, editors), D. Reidel Publishing Company, Dordrecht, 1970, pp. 263-297.
7. _, Logic, language-games and information, Clarendon Press, Oxford, 1973.
8. GERARD HUET, A uniform approach to type theory, Logical foundations of logical programming (Gerard Huet, editor), Addison Wesley Publishing Company, Reading, Massachusetts, 1990, pp. 337-397.
9. ARIS NOAH, Predicate-functors and the limits of decidability in logic, Notre Dame Journal of Formal Logic, vol. 21 (1980), pp. 701-707.
10. W. C. PURDY, A logic for natural language, Notre Dame Journal of Formal Logic, vol. 32 (1991), pp. 409-425.
11. _, A variable-free logic for anaphora, Patrick Suppes: Scientific philosopher (P. Humphreys, editor), Kluwer Academic Publishers, Dordrecht, 1994, pp. 41-70.
12. W. V. QUINE, Variables explained away, Proceedings of the American Philosophical Society, vol. 104 (1960), pp. 343-347.
13. _, On the limits of decision, Proceedings of the 14th international congress of philosophy (University of Vienna), vol. 3, 1969, also in W. V. QUINE Theories and things, Harvard University Press, Cambridge, 1981, pp. 157-163.
14. _, On the limits of decision, Proceedings of the 14th international congress of philosophy (University of Vienna), vol. 3, 1969, also in W. V. QUINE Theories and things, Harvard University Press, Cambridge, 1981, pp. 157-163.
15. _, The ways of paradox and other essays, enlarged ed., Harvard University Press, Cambridge, 1976.
16. _, Predicate functors revisited, this JOURNAL, vol. 46 (1981), pp. 649-652.
17. _, Methods of logic, fourth ed., Harvard University Press, Cambridge, 1982.
18. VEIKKO RANTALA, Constituents, Jaakko hintikka (Radu J. Bogdan, editor), D. Reidel Publishing Company, Dordrecht, 1987, pp. 43-76.
19. FRED SOMMERS, The calculus of terms, The new syllogistic (George Englebretsen, editor), Peter Lang, New York, 1987, pp. 11-56.
20. MARK E. STICKEL, Schubert's steamroller problem: Formulations and solution, Journal of Automated Reasoning, vol. 2 (1986), pp. 89-101.
21. PATRICK SUPPES, Variable-free semantics with remarks on procedural extensions, Language, mind, and brain (Simmon and Scholes, editors), Lawrence Erlbaum Associates, New Jersey, 1982, pp. 21-34.