{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T08:04:04Z","timestamp":1775462644486,"version":"3.50.1"},"reference-count":16,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,1,1]]},"DOI":"10.1305\/ndjfl\/1040308828","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:32:42Z","timestamp":1046208762000},"source":"Crossref","is-referenced-by-count":16,"title":["Semantics-based Nonmonotonic Inference"],"prefix":"10.1215","volume":"36","author":[{"given":"Heinrich","family":"Wansing","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Almukdad, A., and D. Nelson, ``Constructible falsity and inexact predicates,\" <i>Journal of Symbolic Logic<\/i>, vol. 49 (1984), pp. 231--233.","DOI":"10.2307\/2274105"},{"key":"3","unstructured":"[3] Clarke, M., and D. Gabbay, ``An Intuitionistic Basis for Non-Monotonic Reasoning,\" pp. 163--178 in <i>Non<\/i>-Standard Logics for Automated Reasoning, edited by P. Smets et al., Academic Press, London, 1988."},{"key":"4","unstructured":"[4] Do\u0161en, K., ``Intuitionistic Double Negation as a Necessity Operator,\" <i>Publications de L<\/i>'Institute Mathematique, vol. 49 (1984), pp. 15--20."},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Gabbay, D., ``Intuitionistic Basis for Non-Monotonic Logic,\" pp. 260--273 in <i>Proceedings of the 6th Conference on Automated Deduction<\/i>. Lecture Notes in CS 138, Springer-Verlag, Berlin, 1982.","DOI":"10.1007\/BFb0000064"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Gurevich, Y., ``Intuitionistic Logic with Strong Negation,\" <i>Studia Logica<\/i>, vol. 36 (1977), pp. 49--59.","DOI":"10.1007\/BF02121114"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Kripke, S., ``Semantical analysis of intuitionistic logic I,\" pp. 92--129 in <i>Formal Systems and Recursive Functions<\/i>, edited by J. Crossley and M. Dummett, North-Holland, Amsterdam, 1965.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] McDermott D., and J. Doyle, ``Non-Monotonic Logic I,\" <i>Journal of Artificial Intelligence<\/i>, vol. 13 (1980), pp. 41--72.","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Pearce, D., ``Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Non-monotonic Formalisms,\" pp. 457--475 in <i>Logic Programming and Non-Monotonic Reasoning<\/i>, edited by L. Pereira and A. Nerode, MIT Press, Cambridge (Massachusetts), 1993.","DOI":"10.7551\/mitpress\/4307.003.0037"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Pearce D., and G. Wagner, ``Logic Programming with Strong Negation,\" pp. 311--326 in <i>Proceedings of the Workshop on Extensions of Logic Programming<\/i>. Lecture Notes in AI 475, edited by P. Schroeder-Heister, Springer-Verlag, Berlin, 1990.","DOI":"10.1007\/BFb0038700"},{"key":"13","unstructured":"[13] Turner, R., <i>Logics for Artificial Intelligence<\/i>, Ellis Horwood, Chichester, 1984."},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Wagner G., ``Logic Programming with Strong Negation and Inexact Predicates,\" <i>Journal of Logic and Computation<\/i>, vol. 1 (1991), pp. 835--859.","DOI":"10.1093\/logcom\/1.6.835"},{"key":"15","unstructured":"[15] Wagner G., <i>Vivid Logic. Knowledge-Based Reasoning with Two Kinds of Negation. Lecture Notes in AI 764<\/i>, Springer-Verlag, Berlin, 1994."},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Wansing, H., <i>The Logic of Information Structures<\/i>. Lecture Notes in AI 681, Springer-Verlag, Berlin, 1993.","DOI":"10.1007\/3-540-56734-8"},{"key":"2","unstructured":"[2] Clarke, M., ``Intuitionistic Non-Monotonic Reasoning---further results,\" pp. 525--527 in <i>ECAI 88<\/i>. Proceedings of the 8th European Conference on Artificial Intelligence, edited by Y. Kodratoff, Pitman, London, 1988."},{"key":"7","unstructured":"[7] Jaspars, J., <i>Calculi for Constructive Communication<\/i>, PhD Thesis, University of Tilburg, 1994."},{"key":"9","unstructured":"[9] \\mbox\u0141ukaszewicz, W., <i>Non<\/i>-Monotonic Reasoning. Formalization of Commonsense Reasoning, Ellis Horwood, Chichester, 1990."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040308828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:24Z","timestamp":1706649144000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-1\/Semantics-based-Nonmonotonic-Inference\/10.1305\/ndjfl\/1040308828.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1,1]]},"references-count":16,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1995,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040308828","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,1,1]]}}}