{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T20:47:54Z","timestamp":1772484474246,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540601128","type":"print"},{"value":"9783540494386","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60112-0_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:41:57Z","timestamp":1330278117000},"page":"44-51","source":"Crossref","is-referenced-by-count":40,"title":["Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[]},{"given":"Anthony","family":"Hunter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"6_CR1","unstructured":"Anderson A R and Belnap N D Jr. (1975) Entailment: The logic of relevance and necessity, Princeton University Press"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Belnap N (1977) A useful four-valued logic, in Dunn J and Epstein G, Modern Uses of Multiple-Valued Logic, 5\u201337, Reidel","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Benferhat S, Dubois D, Prade H (1993) Argumentative inference in uncertain and inconsistent knowledge bases, Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence, 411\u2013419, Morgan Kaufmann","DOI":"10.1016\/B978-1-4832-1451-1.50054-8"},{"key":"6_CR4","unstructured":"Besnard Ph (1991) Paraconsistent logic approach to knowledge representation, in de Glas M, and Gabbay D, Proceedings of the First World Conference on Fundamentals of Artificial Intelligence, Angkor"},{"key":"6_CR5","volume-title":"Technical Report","author":"P. Besnard","year":"1995","unstructured":"Besnard Ph and Hunter A (1995) Properties of quasi-classical logic, Technical Report, Department of Computing, Imperial College, London"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. C. Costa da","year":"1974","unstructured":"da Costa N C (1974) On the theory of inconsistent formal systems, Notre Dame Journal of Formal Logic, 15, 497\u2013510","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"8","key":"6_CR7","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A Finkelstein","year":"1993","unstructured":"Finkelstein A, Gabbay D, Hunter A, Kramer J, and Nuseibeh B (1993) Inconsistency handling in multi-perspective specifications, in IEEE Transactions on Software Engineering, 20(8), 569\u2013578","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Gabbay D and Hunter A (1991) Making inconsistency respectable, Part 1, in Jorrand Ph. and Keleman J, Fundamentals of Artificial Intelligence Research, Lecture Notes in Artificial Intelligence, 535, 19\u201332, Springer","DOI":"10.1007\/3-540-54507-7_3"},{"key":"6_CR9","volume-title":"PhD dissertation","author":"R. C. T. Lee","year":"1967","unstructured":"Lee R C T (1967) A completeness theorem and a computer program for finding theorems derivable from given axioms. PhD dissertation, University of California, Berkeley"},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF01342950","volume":"122","author":"K Schutte","year":"1950","unstructured":"Schutte K (1950) Schlussweisen-Kalkuele der Praedikatenlogik, Mathematische Annalen, 122, 47\u201365","journal-title":"Mathematische Annalen"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning and Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60112-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:57Z","timestamp":1605646497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60112-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601128","9783540494386"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-60112-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}