{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:51:35Z","timestamp":1725493895034},"publisher-location":"Berlin, Heidelberg","reference-count":58,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009573"},{"type":"electronic","value":"9783540365969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36596-6_4","type":"book-chapter","created":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T21:23:52Z","timestamp":1193261032000},"page":"63-81","source":"Crossref","is-referenced-by-count":4,"title":["Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases"],"prefix":"10.1007","author":[{"given":"Hendrik","family":"Decker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,1]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1007\/3-540-44957-4_62","volume-title":"Applications of Annotated Predicate Calculus to Querying Inconsistent Databases","author":"M. Arenas","year":"2000","unstructured":"M. Arenas, L. Bertossi, M. Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Proc. Computational Logic 2000, Springer LNCS 1861, 926\u2013941, 2000."},{"key":"4_CR2","unstructured":"J. Avigad: Classical and Constructive Logic. http:\/\/www.andrew.cmu.edu\/~avigad\/Teaching\/classical.pdf , 2000."},{"key":"4_CR3","unstructured":"D. Batens: A survey of inconsistency-adaptive logics. In D. Batens et al (eds): Frontiers of Paraconsistent Logic. King\u2019s College Publications, 49\u201373, 2000."},{"key":"4_CR4","unstructured":"A. Bobenrieth: Inconsistencias \u00bfpor qu\u00e9 no? Un estudio filos\u00f3fico sobre la l\u00f3gica paraconsistente. Colcultura, 1996."},{"key":"4_CR5","volume-title":"Formale Logik","author":"I. M. Boche\u0144ski","year":"1956","unstructured":"I. M. Boche\u0144ski: Formale Logik, 2nd edition. Verlag Karl Arber, Freiburg, M\u00fcnchen, 1956.","edition":"2nd edition"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. A. Blair","year":"1989","unstructured":"H. A. Blair, V. S. Subrahmanian. Paraconsistent Logic Programming. Theoretical Computer Science 68(2), 135\u2013154, 1989.","journal-title":"Theoretical Computer Science"},{"issue":"161\u2013163","key":"4_CR7","first-page":"17","volume":"41","author":"V. A. Bazhanov","year":"1998","unstructured":"V. A. Bazhanov: Toward the Reconstruction of the Early History of Paraconsistent Logic: The Prerequisites of N. A. Vasiliev\u2019s Imaginary Logic. Logique et Analyse 41(161\u2013163), 17\u201320, 1998.","journal-title":"Logique et Analyse"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"40","DOI":"10.2307\/2269326","volume":"1","author":"A. Church","year":"1936","unstructured":"A. Church: A Note on the Entscheidungsproblem. J. Symbolic Logic 1(40\u201341, 101-102), 1936.","journal-title":"J. Symbolic Logic"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"K. Clark: Negation as Failure. In H. Gallaire, J. Minker (eds): Logic and Data Bases, Plenum Press, 293\u2013322, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"4_CR10","unstructured":"N. da Costa, E. Alves: On a Paraconsistent Predicate Calculus. In O. T. Alas, N. da Costa, C. H\u00f6nig (eds): Collected papers dedicated to Professor Edison Farah on the occasion of his retirement. Instituto de Matematica e Estatistica, Universidade de S\u00e3o Paulo, 83\u201390, 1982."},{"issue":"4","key":"4_CR11","first-page":"597","volume":"3","author":"N. Costa da","year":"1995","unstructured":"N. da Costa, J.-Y. B\u00e9ziau, O. Bueno: Aspects of Paraconsistent Logic. IGLP Bulletin 3(4), 597\u2013614, 1995.","journal-title":"IGLP Bulletin"},{"key":"4_CR12","first-page":"6","volume":"1","author":"N. Costa da","year":"1958","unstructured":"N. da Costa: Nota sobre o conceito de contradicao. Anuario da Sociedade Paranaense de Mathematica (2a. Serie) 1, 6\u20138, 1958.","journal-title":"Anuario da Sociedade Paranaense de Mathematica (2a. Serie)"},{"key":"4_CR13","unstructured":"N. da Costa: Sistemas Formais Inconsistentes. Universidade do Paran\u00e1, 1963."},{"key":"4_CR14","unstructured":"H. Decker: Integrity Enforcement on Deductive Databases. In L. Kerschberg: Expert Database Systems. Benjamin Cummings, 381\u2013395, 1987."},{"key":"4_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-53507-1_94","volume-title":"Drawing Updates From Derivations","author":"H. Decker","year":"1990","unstructured":"H. Decker: Drawing Updates From Derivations. Proc. 3rd ICDT, Springer LNCS 470, 437\u2013451, 1990."},{"key":"4_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/BFb0055502","volume-title":"In Transactions and Change in Logic Databases","author":"H. Decker","year":"1998","unstructured":"H. Decker: Some Notes on Knowledge Assimilation in Deductive Databases. In Transactions and Change in Logic Databases, Springer LNCS 1472, 249\u2013286, 1998."},{"key":"4_CR17","unstructured":"H. Decker: An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. Proc. JICSLP. MIT Press, 157\u2013169, 1996."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"C. Damasio, L. Pereira: A Survey of Paraconsistent Semantics for Logic Programs. In D. Gabbay, P. Smets (eds): Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 2, Kluwer, 241\u2013320, 1998.","DOI":"10.1007\/978-94-017-1739-7_8"},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0743-1066(95)94697-X","volume":"22","author":"P. Dung","year":"1995","unstructured":"P. Dung: An argumentation-theoretic foundation for logic programming. J. Logic Programming 22(2), 151\u2013171, 1995.","journal-title":"J. Logic Programming"},{"key":"4_CR20","unstructured":"H. Decker, J. Villadsen, T. Waragai (eds): Paraconsistent Computational Logic (Proc. FLoC\u201902 Workshop). Datalogiske Skrifter, Vol. 95, Roskilde University, 2002. Electronic proceedings, edited by D. Goldin et al, available at http:\/\/www.imm.dtu.dk\/~jv\/pcl.html ."},{"key":"4_CR21","unstructured":"K. Eshghi, R. Kowalski: Abduction compared with negation by failure. Proc. 6th ICLP, MIT Press, 234\u2013254, 1989."},{"issue":"4","key":"4_CR22","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting: A Kripke-Kleene semantics for logic programs. J. Logic Programming 2(4), 295\u2013312, 1985.","journal-title":"J. Logic Programming"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"G. Gentzen: Untersuchungen \u00fcber das logische Schlie\u03b2en. Mathematische Zeitschrift 39, 176\u2013210, 405-431, 1934, 1935.","journal-title":"Mathematische Zeitschrift"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"K. G\u00f6del: \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatshefte f\u00fcr Mathematik und Physik 38, 173\u2013198, 1931. Reprinted in [Hj].","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"4_CR25","unstructured":"D. Hilbert, W. Ackermann: Grundz\u00fcge der theoretischen Logik. Springer, 1928."},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF01448445","volume":"88","author":"D. Hilbert","year":"1923","unstructured":"D. Hilbert: Die logischen Grundlagen der Mathematik. Mathematische Annalen 88, 151\u2013165, 1923.","journal-title":"Mathematische Annalen"},{"key":"4_CR27","unstructured":"D. Hilbert, P. Bernays: Grundlagen der Mathematik I, II. Springer, 1934, 1939."},{"key":"4_CR28","unstructured":"J. van Heijenoort: From Frege to G\u00f6del. Harvard University Press, 1967."},{"key":"4_CR29","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/BF02028143","volume":"2","author":"A. Heyting","year":"1931","unstructured":"A. Heyting, Die intuitionistische Grundlegung der Mathematik. Erkenntnis 2, 106\u2013115, 1931.","journal-title":"Erkenntnis"},{"key":"4_CR30","unstructured":"S. Ja\u015bkowski: The theory of deduction based on the method of suppositions. Studia Logica 1, 5\u201332, 1934. Reprinted in St. McCall (ed): Polish Logic 1920-1939, North-Holland, 232-258, 1963."},{"issue":"5","key":"4_CR31","first-page":"55","volume":"1","author":"S. Ja\u015bkowski","year":"1948","unstructured":"S. Ja\u015bkowski: Rachunek zdan dla systemow dedukcyjnych sprzecznych. Studia Societatis Scientiarun Torunesis, Sectio A, 1(5), 55\u201377, 1948. Translated as: Propositional Calculus for Contradictory Deductive Systems. Studia Logica 24, 143-157, 1969.","journal-title":"Studia Societatis Scientiarun Torunesis, Sectio A"},{"issue":"1","key":"4_CR32","first-page":"119","volume":"4","author":"I. Johansson","year":"1936","unstructured":"I. Johansson: Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus. Compositio Mathematica 4(1), 119\u2013136, 1936.","journal-title":"Compositio Mathematica"},{"key":"4_CR33","unstructured":"A. N. Kolmogorov: O principie tertium non datur. Matematiceskij Sbornik (Recueil Math\u00e9matique) 32, 1924\/25. Translated as: On the principle of excluded middle, in [Hj]."},{"key":"4_CR34","unstructured":"W. Kneale, M. Kneale: The Development of Logic. Clarendon Press, 1962."},{"key":"4_CR35","unstructured":"A. Kakas, R. Kowalski, F. Toni: The Role of Abduction in Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, 235\u2013324, 1995."},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"M. Kifer, E. Lozinskii: RI: A Logic for Reasoning with Inconsistency. Proc. 4th LICS, 253\u2013262, 1989.","DOI":"10.1109\/LICS.1989.39180"},{"key":"4_CR37","unstructured":"S. C. Kleene: Introduction to Metamathematics. North-Holland, 1952."},{"issue":"4","key":"4_CR38","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"K. Kunen: Negation in Logic Programming. J. Logic Programming 4(4), 289\u2013308, 1987.","journal-title":"J. Logic Programming"},{"issue":"3\/4","key":"4_CR39","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R. Kowalski","year":"1971","unstructured":"R. Kowalski, D. Kuehner: Linear Resolution with Selection Function. Artificial Intelligence 2(3\/4), 227\u2013260, 1971.","journal-title":"Artificial Intelligence"},{"key":"4_CR40","unstructured":"R. Kowalski: Logic for Problem Solving. North-Holland, 1979."},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"R. Kowalski: Logic without Model Theory. In D. Gabbay (ed): What is a logical system? Oxford University Press 1994, pp 35\u201371.","DOI":"10.1093\/oso\/9780198538592.003.0002"},{"key":"4_CR42","unstructured":"C. Lewis, C. Langford: Symbolic Logic. Century Co., 1932."},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"J. Lloyd: Foundations of Logic Programming, 2nd edition. Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"4_CR44","doi-asserted-by":"crossref","unstructured":"P. Lorenzen: Einf\u00fchrung in die operative Logik und Mathematik, 2nd edition. Springer, 1969.","DOI":"10.1007\/978-3-642-86518-3"},{"key":"4_CR45","first-page":"485","volume":"24","author":"J. \u0141ukasiewicz","year":"1971","unstructured":"J. \u0141ukasiewicz: O zasadzie sprzecznosci u Arystotelesa: Studium Krytyczne (On Aristotle\u2019s Principle of Contradiction: A Critical Study), 1910. Translated as: On the Principle of Contradiction in Aristotle, Review of Metaphysics 24, 485\u2013509, 1971.","journal-title":"Review of Metaphysics"},{"key":"4_CR46","unstructured":"M. Minsky: A Framework for Representing Knowledge. Tech. Report 306, MIT AI Lab, 1974. Reprinted (sans appendix) in P. Winston (ed): The Psychology of Computer Vision, McGraw-Hill, 177\u2013211, 1975."},{"issue":"4","key":"4_CR47","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0020-0190(82)90035-7","volume":"14","author":"J. Minker","year":"1982","unstructured":"J. Minker, G. Zanon: An Extension to Linear Resolution with Selection Function. Information Processing Letters 14(4), 191\u2013194, 1982.","journal-title":"Information Processing Letters"},{"key":"4_CR48","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-36109-X_23","volume-title":"Flexible Management of Consistency and Availability of Networked Data Replications","author":"F. Mu\u00f1oz","year":"2002","unstructured":"F. Mu\u00f1oz, L. Ir\u00fan, P. Gald\u00e1mez, J. Bernab\u00e9u, J. Bataller, C. Ba\u00f1uls, H. Decker: Flexible Management of Consistency and Availability of Networked Data Replications. Proc. 5th FQAS, Springer LNCS 2522, 289\u2013300, 2002."},{"key":"4_CR49","unstructured":"D. Poole: Logic Programming, Abduction and Probability. Proc. Fifth Generation Computer Systems\u2019 92, 530\u2013538, 1992."},{"key":"4_CR50","doi-asserted-by":"crossref","unstructured":"E. Post: Introduction to a General Theory of Propositions. American Journal of Mathematics 43, 1921. Reprinted in [Hj].","DOI":"10.2307\/2370324"},{"key":"4_CR51","unstructured":"J. A. Robinson: Logic: Form and Function-The Mechanization of Deductive Reasoning. Edinburgh University Press, 1979."},{"key":"4_CR52","unstructured":"http:\/\/plato.stanford.edu\/entries\/logic-relevance\/ , 1998."},{"key":"4_CR53","unstructured":"B. Russell: Letter to Frege, 1902, in [Hj]."},{"key":"4_CR54","unstructured":"B. Russell, A. Whitehead: Principia Mathematica. Cambridge University Press, 1910\u20131913, reprinted 1962."},{"key":"4_CR55","first-page":"173","volume":"18","author":"A. Sette","year":"1973","unstructured":"A. Sette: On the Propositional Calculus P1. Mathematica Japonicae 18, 173\u2013180, 1973.","journal-title":"Mathematica Japonicae"},{"key":"4_CR56","first-page":"9","volume":"29","author":"J. S\u0142upecki","year":"1936","unstructured":"J. S\u0142upecki: Der volle dreiwertige Aussagenkalk\u00fcl. Comptes Rendus S\u00e9ances Soci\u00e9t\u00e9 des Sciences et Lettres Varsovie 29, 9\u201311, 1936.","journal-title":"Comptes Rendus S\u00e9ances Soci\u00e9t\u00e9 des Sciences et Lettres Varsovie"},{"key":"4_CR57","first-page":"261","volume":"1","author":"A. Tarski","year":"1935","unstructured":"A. Tarski: Der Wahrheitsbegri. in den formalisierten Sprachen. Studia Philosophica 1, 261\u2013405, 1935.","journal-title":"Studia Philosophica"},{"key":"4_CR58","doi-asserted-by":"crossref","unstructured":"A. Urquhart: Many-Valued Logic. In Gabbay, Guenthner (eds): Handbook of Philosophical Logic. Kluwer, 71\u2013116, 1986.","DOI":"10.1007\/978-94-009-5203-4_2"}],"container-title":["Lecture Notes in Computer Science","Semantics in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36596-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T16:53:28Z","timestamp":1708275208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36596-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009573","9783540365969"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/3-540-36596-6_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}