{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:29Z","timestamp":1725663809177},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545071"},{"type":"electronic","value":"9783540384205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54507-7_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:56:44Z","timestamp":1330192604000},"page":"227-241","source":"Crossref","is-referenced-by-count":1,"title":["Negation as failure and intuitionistic three-valued logic"],"prefix":"10.1007","author":[{"given":"Jacqueline","family":"Vauzeilles","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"19_CR1","volume-title":"Une caract\u00e9risation modale de la s\u00e9mantique des programmes logiques avec n\u00e9gation, Th\u00e8se de Docorat","author":"P. Balbiani","year":"1991","unstructured":"Balbiani, P. (1991) Une caract\u00e9risation modale de la s\u00e9mantique des programmes logiques avec n\u00e9gation, Th\u00e8se de Docorat, Universit\u00e9 Paul Sabatier, Toulouse."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Cerrito, S. (1990) A Linear Semantics for Allowed Logic Programs, Proceedings of Fifth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 1990, pp. 219\u2013227.","DOI":"10.1109\/LICS.1990.113748"},{"key":"19_CR3","unstructured":"Cerrito, S. (1990) Contribution de la logique lin\u00e9aire au probl\u00e8me de la n\u00e9gation par l'\u00e9chec, Th\u00e8se de Doctorat, Universit\u00e9 de Paris-Sud Centre d'Orsay."},{"key":"19_CR4","first-page":"293","volume-title":"Logic and Databases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L. (1978) Negation as failure, in Logic and Databases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, pp. 293\u2013322."},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M. (1985) A Kripke-Kleene Semantics for General Logic programs, Logic Programming 2, pp. 295\u2013312.","journal-title":"Logic Programming"},{"key":"19_CR6","unstructured":"Gabbay, D.M. (1990) Modal Provability, Foundations for Negation by Failure, Extensions of Logic Programming, (P. Schroder Heister Ed.), Lecture Notes in Artificial Intelligence, Springer."},{"key":"19_CR7","volume-title":"Collected works","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G. (1969) Collected works,ed. Szabo, North Holland, Amsterdam."},{"key":"19_CR8","unstructured":"Girard, J.Y. (1976) Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture, Dissertationes Mathematicae, Warszawa."},{"key":"19_CR9","unstructured":"Girard, J.Y. (1987) Proof theory and logical complexity, vol 1. Napoli: Bibliopolis."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Girard, J.Y. (1987) Linear Logic, Theoretical Computer Science, vol. 50.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"19_CR11","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K Kunen","year":"1987","unstructured":"Kunen, K (1987) Negation in logic programming J. Logic programming 4, pp. 289\u2013308.","journal-title":"J. Logic programming"},{"issue":"3","key":"19_CR12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K Kunen","year":"1989","unstructured":"Kunen, K (1989) Signed Data Dependencies J. Logic programming 7, 3, pp.231\u2013245.","journal-title":"J. Logic programming"},{"key":"19_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic programming","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W. (1987) Foundations of Logic programming, Second Edition, Springer Verlag, Berlin.","edition":"Second Edition"},{"key":"19_CR14","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(85)90018-4","volume":"3","author":"J.C. Shepherdson","year":"1985","unstructured":"Shepherdson, J.C. (1985) Negation as failure II, J. Logic programming 3, pp. 185\u2013202.","journal-title":"J. Logic programming"},{"key":"19_CR15","first-page":"19","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J.C. Shepherdson","year":"1987","unstructured":"Shepherdson, J.C. (1987) Negation in Logic programming, in: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kauffman, Los Altos, 1988, pp. 19\u201388."},{"issue":"3","key":"19_CR16","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0304-3975(89)90106-0","volume":"65","author":"J.C. Shepherdson","year":"1989","unstructured":"Shepherdson, J.C. (1989) A Sound and Complete Semantics for a version of Negation as Failure, Theoretical Computer Science, vol. 65, no 3, pp. 343\u2013371.","journal-title":"Theoretical Computer Science"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Vauzeilles, J., Strauss, A.(1991) Intuitionistic Three-Valued Logic and Logic Programming, Theoretical Informatics and Applications (R.A.I.R.O), no 6 (to appear).","DOI":"10.1051\/ita\/1991250605571"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Artificial Intelligence Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54507-7_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:55:19Z","timestamp":1605628519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54507-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545071","9783540384205"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-54507-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}