{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:03Z","timestamp":1706650803881},"reference-count":32,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1998,1,1]]},"DOI":"10.1305\/ndjfl\/1039293021","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:45:52Z","timestamp":1046205952000},"source":"Crossref","is-referenced-by-count":2,"title":["A Variant of Thomason's First-Order Logic CF Based on Situations"],"prefix":"10.1215","volume":"39","author":[{"given":"Peter","family":"Mott","sequence":"first","affiliation":[]},{"given":"Xuegang","family":"Wang","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Abiteboul, S., R. Hull, and V. Vianu, <i>Foundations of Databases<\/i>, Addison-Wesley, Reading, 1995. Zbl 0848.68031"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Akama, S., \u201cConstructive predicate logic with strong negation and model theory,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 29 (1988), pp. 18\u201327. Zbl 0647.03005 MR 89k:03026","DOI":"10.1305\/ndjfl\/1093637767"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Alferes, J. J., and L. M. Pereira, <i>Reasoning with Logic Programming<\/i>, Lecture Notes in Artificial Intelligence 1111, Springer-Verlag, Berlin, 1996. MR 98k:68031","DOI":"10.1007\/3-540-61488-5"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Almukdad, A., and D. Nelson, \u201cConstructible falsity and inexact predicates,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 49 (1984), pp. 231\u201333. Zbl 0575.03016 MR 86c:03020","DOI":"10.2307\/2274105"},{"key":"5","unstructured":"Barwise, J., <i>The Situation in Logic<\/i>, CSLI Lecture Notes 17, CSLI, Stanford, 1989. Zbl 0664.03003 MR 90g:03033"},{"key":"6","unstructured":"Barwise, J., and J. Etchemendy, <i>The Liar: An Essay on Truth and Circularity<\/i>, Oxford University Press, Oxford, 1987. Zbl 0678.03001 MR 88k:03009"},{"key":"7","unstructured":"Barwise, J., and J. Etchemendy, \u201cInformation, infons, and inference,\u201d pp. 33\u201378 in <i>Situation Theory and Its Applications<\/i>, vol. 1, edited by R. Cooper, K. Mukai, and J. Perry, CSLI Lecture Notes 22, CSLI, Stanford, 1990."},{"key":"8","unstructured":"Barwise, J., and J. Perry, <i>Situations and Attitudes<\/i>, The MIT Press, Cambridge, 1983. Zbl 0946.03007 MR 2001h:03051"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Bencivenga, E., \u201cFree logics,\u201d pp. 373\u2013426 in <i>Alternatives in Classical Logic<\/i>, vol. 3, Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1985. Zbl 0875.03020","DOI":"10.1007\/978-94-009-5203-4_6"},{"key":"10","unstructured":"Devlin, K., <i> Logic and Information<\/i>, Cambridge University Press, Cambridge, 1991. Zbl 0732.03001 MR 93c:68094"},{"key":"11","unstructured":"Dummett, M., <i>Elements of Intuitionism<\/i>, Oxford Logic Guides, Clarendon Press, Oxford, 1977. Zbl 0358.02032 MR 58:16194"},{"key":"12","unstructured":"Fernando, T., \u201cOn the logic of situation theory,\u201d pp. 97\u2013116 in <i>Situation Theory and Its Applications,<\/i> vol. 1, edited by R. Cooper, K. Mukai, and J. Perry, CSLI Lecture Notes 22, CSLI, Stanford, 1990. MR 1260728"},{"key":"13","unstructured":"Fitch, F. B., <i>Symbolic Logic<\/i>, Ronald Press, New York, 1952. Zbl 0049.00504 MR 15,592n"},{"key":"14","unstructured":"Frege, G., \u201cBegriffsschrift (Chapter I),\u201d pp. 1\u201320 in <i>Translations from the Philosophical Writings of Gottlob Frege,<\/i> edited by P. Geach and M. Black, Basil Blackwell, Oxford, 1952."},{"key":"15","doi-asserted-by":"crossref","unstructured":"Garson, J. W., \u201cQuantification in modal logic,\u201d pp. 249\u2013307 in <i>Extensions of Classical Logic<\/i>, vol. 2, Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1985. Zbl 0875.03050 MR 844600","DOI":"10.1007\/978-94-009-6259-0_5"},{"key":"16","doi-asserted-by":"crossref","unstructured":"Gentzen, G., \u201cInvestigations into logical deduction,\u201d pp. 68\u2013131 in <i>The Collected Papers of Gerhard Gentzen<\/i>, edited by M. E. Szabo, North-Holland, Amsterdam, 1969.","DOI":"10.1016\/S0049-237X(08)70822-X"},{"key":"17","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., \u201cIntuitionistic logic with strong negation,\u201d <i>Studia Logica<\/i>, vol. 36 (1977), pp. 49\u201359. Zbl 0366.02015 MR 58:160","DOI":"10.1007\/BF02121114"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Lopez-Escobar, E. G. K., \u201cRefutability and elementary number theory,\u201d <i>Indagationes Mathematicae<\/i>, vol. 34 (1972), pp. 362\u201374. Zbl 0262.02027 MR 48:10772","DOI":"10.1016\/1385-7258(72)90053-4"},{"key":"19","unstructured":"Markov, A. A., \u201cConstructive logic\u201d (in Russian), <i>Uspekhi Matemati\u010d<\/i>eskih Nauk, vol. 5 (1950), pp. 187\u201388."},{"key":"20","unstructured":"Mott, P. L., \u201cIntuitionistic logic with a `definitely' operator,\u201d Research Report 97.05, School of Computer Studies, University of Leeds, 1997."},{"key":"21","doi-asserted-by":"crossref","unstructured":"Nelson, D., \u201cConstructible falsity,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 14 (1949), pp. 16\u201326. Zbl 0033.24304 MR 10,669a","DOI":"10.2307\/2268973"},{"key":"22","doi-asserted-by":"crossref","unstructured":"Rasiowa, H., \u201c${\\cal N}$-lattices and constructive logic with strong negation,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 46 (1958), pp. 61\u201380. Zbl 0087.00905 MR 20:5137","DOI":"10.4064\/fm-46-1-61-80"},{"key":"23","unstructured":"Reiter, R., \u201cOn closed world databases,\u201d pp. 55\u201376 in <i> Logic and Databases<\/i>, edited by H. Gallaire and J. Minker, Plenum Press, New York, 1978."},{"key":"24","doi-asserted-by":"publisher","unstructured":"Routley, R., \u201cSemantical analyses of propositional systems of Fitch and Nelson,\u201d <i>Studia Logica<\/i>, vol. 33 (1974), pp. 283\u201398. Zbl 0356.02022 MR 51:70","DOI":"10.1007\/BF02123283"},{"key":"25","doi-asserted-by":"crossref","unstructured":"Thomason, R. H., \u201cA semantical analysis of constructible falsity,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 15 (1969), pp. 247\u201357.","DOI":"10.1002\/malq.19690151602"},{"key":"26","unstructured":"Troelstra, A. S., <i>Choice Sequences: A Chapter of Intutitionistic Mathematics<\/i>, Oxford Logic Guides, Clarendon Press, Oxford, 1977. Zbl 0355.02026 MR 57:15979"},{"key":"27","unstructured":"Troelstra, A. S., and D. van Dalen, <i>Constructivism in Mathematics: An Introduction<\/i>, vol. 1, North-Holland, Amsterdam, 1988. Zbl 0653.03040 MR 90e:03002a"},{"key":"28","doi-asserted-by":"crossref","unstructured":"van Dalen, D. \u201cIntuitionistic logic\u201d, pp. 225\u2013339 in <i>Alternatives in Classical Logic<\/i>, vol. 3, Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1985. Zbl 0875.03038","DOI":"10.1007\/978-94-009-5203-4_4"},{"key":"29","doi-asserted-by":"publisher","unstructured":"Veltman, F., \u201cDefaults in update semantics,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 25 (1996), pp. 221\u201361. Zbl 0860.03025 MR 97d:68220","DOI":"10.1007\/BF00248150"},{"key":"30","unstructured":"Vorob'ev, N. N., \u201cConstructive propositional calculus with strong negation\u201d (in Russian), <i>Doklady Akademii Nauk SSSR<\/i>, vol. 85 (1952), pp. 465\u201368."},{"key":"31","doi-asserted-by":"crossref","unstructured":"Wagner, G., \u201cLogic programming with strong negation and inexact predicates,\u201d <i>Journal of Logic and Computation<\/i>, vol. 1 (1991), pp. 835\u201359. Zbl 0738.68018 MR 1165249","DOI":"10.1093\/logcom\/1.6.835"},{"key":"32","unstructured":"Wansing, H., <i>Logic of Information Structures<\/i>, Lecture Notes in Artificial Intelligence 681, Springer-Verlag, Berlin, 1993. Zbl 0788.03001 MR 95b:03035"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039293021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:17Z","timestamp":1706649197000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-39\/issue-1\/A-Variant-of-Thomasons-First-Order-Logic-CF-Based-on\/10.1305\/ndjfl\/1039293021.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1,1]]},"references-count":32,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1998,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039293021","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1,1]]}}}