A variant of thomason’s first-order logic cf based on situations

Notre Dame Journal of Formal Logic

Volumn 39, Issue 1, 1998, Pages 74-94

  Wang, Xuegang ^a   Mott, Peter ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 60950650640     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1039293021     Document Type: Article

References (32)

1. Abiteboul, S., R. Hull, and V. Vianu, Foundations of Databases, Addison-Wesley, Reading, 1995.
2. Akama, S., “Constructive predicate logic with strong negation and model theory,” Notre Dame Journal of Formal Logic, vol. 29 (1988), pp. 18-27.
3. Alferes, J. J., and L. M. Pereira, Reasoning with Logic Programming, Lecture Notes in Artificial Intelligence 1111, Springer-Verlag, Berlin, 1996.
4. Almukdad, A., and D. Nelson, “Constructible falsity and inexact predicates,” The Jour-nal of Symbolic Logic, vol. 49 (1984), pp. 231-33.
5. Barwise, J., The Situation in Logic, CSLI Lecture Notes 17, CSLI, Stanford, 1989.
6. Barwise, J., and J. Etchemendy, The Liar: An Essay on Truth and Circularity, Oxford University Press, Oxford, 1987.
7. Barwise, J., and J. Etchemendy, “Information, infons, and inference,” pp. 33-78 in Situation Theory and Its Applications, vol. 1, edited by R. Cooper, K. Mukai, and J. Perry, CSLI Lecture Notes 22, CSLI, Stanford, 1990.
8. Barwise, J., and J. Perry, Situations and Attitudes, The MIT Press, Cambridge, 1983.
9. Bencivenga, E., “Free logics,” pp. 373-426 in Alternatives in Classical Logic, vol. 3, Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1985.
10. Devlin, K., Logic and Information, Cambridge University Press, Cambridge, 1991.
11. Dummett, M., Elements of Intuitionism, Oxford Logic Guides, Clarendon Press, Ox-ford, 1977.
12. Fernando, T., “On the logic of situation theory,” pp. 97-116 in Situation Theory and Its Applications, vol. 1, edited by R. Cooper, K. Mukai, and J. Perry, CSLI Lecture Notes 22, CSLI, Stanford, 1990.
13. Fitch, F. B., Symbolic Logic, Ronald Press, New York, 1952.
14. Frege, G., “Begriffsschrift (Chapter I),” pp. 1-20 in Translations from the Philosophical Writings of Gottlob Frege, edited by P. Geach and M. Black, Basil Blackwell, Oxford, 1952.
15. Garson, J. W., “Quantification in modal logic,” pp. 249-307 in Extensions of Classical Logic, vol. 2, Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1985.
16. Gentzen, G., “Investigations into logical deduction,” pp. 68-131 in The Collected Pa-pers of Gerhard Gentzen, edited by M. E. Szabo, North-Holland, Amsterdam, 1969.
17. Gurevich, Y., “Intuitionistic logic with strong negation,” Studia Logica, vol. 36 (1977), pp. 49-59.
18. Lopez-Escobar, E. G. K., “Refutability and elementary number theory,” Indagationes Mathematicae, vol. 34 (1972), pp. 362-74.
19. Markov, A. A., “Constructive logic” (in Russian), Uspekhi Matematičeskih Nauk, vol. 5 (1950), pp. 187-88.
20. Mott, P. L., “Intuitionistic logic with a ‘definitely’ operator,” Research Report 97.05, School of Computer Studies, University of Leeds, 1997.
21. Nelson, D., “Constructible falsity,” The Journal of Symbolic Logic, vol. 14 (1949), pp. 16-26.
22. Rasiowa, H., “N -lattices and constructive logic with strong negation,” Fundamenta Mathematicae, vol. 46 (1958), pp. 61-80.
23. Reiter, R., “On closed world databases,” pp. 55-76 in Logic and Databases, edited by H. Gallaire and J. Minker, Plenum Press, New York, 1978.
24. Routley, R., “Semantical analyses of propositional systems of Fitch and Nelson,” Studia Logica, vol. 33 (1974), pp. 283-98.
25. Thomason, R. H., “A semantical analysis of constructible falsity,” Zeitschrift für math-ematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 247-57.
26. Troelstra, A. S., Choice Sequences: A Chapter of Intutitionistic Mathematics, Oxford Logic Guides, Clarendon Press, Oxford, 1977.
27. Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics: An Introduction, vol. 1, North-Holland, Amsterdam, 1988.
28. van Dalen, D. “Intuitionistic logic”, pp. 225-339 in Alternatives in Classical Logic, vol. 3, Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, D. Rei-del, Dordrecht, 1985.
29. Veltman, F., “Defaults in update semantics,” Journal of Philosophical Logic, vol. 25 (1996), pp. 221-61.
30. Vorob’ev, N. N., “Constructive propositional calculus with strong negation” (in Rus-sian), Doklady Akademii Nauk SSSR, vol. 85 (1952), pp. 465-68. 1.
31. Wagner, G., “Logic programming with strong negation and inexact predicates,” Journal of Logic and Computation, vol. 1 (1991), pp. 835-59.
32. Wansing, H., Logic of Information Structures, Lecture Notes in Artificial Intelligence 681, Springer-Verlag, Berlin, 1993.