{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:11:47Z","timestamp":1725459107708},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601166"},{"type":"electronic","value":"9783540494430"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0035969","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:13:56Z","timestamp":1138202036000},"page":"360-369","source":"Crossref","is-referenced-by-count":0,"title":["Implication connectives for logics with right weakening"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Moinard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"37_CR1","unstructured":"A.R. Anderson and N.D. Jr. Belnap. Entailment: The Logic of Relevance and Necessity. Princeton University Press, 1975."},{"key":"37_CR2","first-page":"117","volume-title":"7th Conf. of the Canadian Society for Computational Studies of Intelligence (CSCSI)","author":"P. Besnard","year":"1988","unstructured":"Philippe Besnard. Axiomatizations in the metatheory of nonmonotonic inference systems. In 7th Conf. of the Canadian Society for Computational Studies of Intelligence (CSCSI), pages 117\u2013124, Edmonton, Morgan-Kaufmann, June 1988."},{"key":"37_CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(88)90079-3","volume":"36","author":"J. P. Delgrande","year":"1988","unstructured":"James P. Delgrande. An approach to default reasoning based on a first-order conditional logic: Revised report. Artificial Intelligence, 36:63\u201390, 1988.","journal-title":"Artificial Intelligence"},{"key":"37_CR4","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0004-3702(91)90043-J","volume":"52","author":"M. Freund","year":"1991","unstructured":"Michael Freund, Daniel Lehmann, and Paul Morris. Rationality, Transitivity, and Contraposition. Artificial Intelligence, 52:191\u2013203, 1991.","journal-title":"Artificial Intelligence"},{"key":"37_CR5","first-page":"59","volume-title":"Nonmonotonic Inductive Logic, in LNAI 543","author":"M. Freund","year":"1990","unstructured":"Michael Freund. Supracompact inference operations. In Nonmonotonic Inductive Logic, in LNAI 543, pages 59\u201373, Karlsruhe, Springer-Verlag, December 1990."},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"Dov M. Gabbay. Intuitionistic bases for nonmonotonic logic. In D.W. Loveland, editor, LNCS 138, pages 260\u2013273. Springer-Verlag, 1982.","DOI":"10.1007\/BFb0000064"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"D.M. Gabbay. Theoretical foundations for nonmonotonic reasoning in expert systems. In K.R. Apt, editor, Proc. Logics and Models of Concurrent Systems, NATO ASI Series F, volume 13, page xxx. Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"37_CR8","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1933","unstructured":"G. Gentzen. Untersuchungen \u00fcber das logische Schliessen. Mathematische Zeitschrift, 39:176\u2013210, 405\u2013431, 1933. Trad. fran\u00e7aise publi\u00e9e aux Presses Universitaires de France, Paris, 1955 English translation in Collected papers of Gerhard Gentzen (Szabo ed.), North Holland, Amsterdam, 1969.","journal-title":"Mathematische Zeitschrift"},{"key":"37_CR9","series-title":"Proc. of JELIA'94","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BFb0021962","volume-title":"Logic in Artificial Intelligence, LNAI 838","author":"H. Herre","year":"1994","unstructured":"Heinrich Herre. Compactness Properties of Nonmonotonic Inference Operations. Proc. of JELIA'94. In Logic in Artificial Intelligence, LNAI 838, pages 19\u201333, York, Springer-Verlag, September 1994."},{"key":"37_CR10","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Sarit Kraus, Daniel Lehmann, and Menachem Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167\u2013207, 1990.","journal-title":"Artificial Intelligence"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"David Makinson. General theory of cumulative inference. In Non-Monotonic Reasoning, in LNAI-346, pages 1\u201318. Springer-Verlag, June 1988.","DOI":"10.1007\/3-540-50701-9_16"},{"key":"37_CR12","unstructured":"T. Pequeno and A. Buschbaum. The logic of epistemic inconsistency. In Proc. 2 nd Conf. on Principles of Knowledge Representation and Reasoning, pages 435\u2013460, Toronto, 1991."},{"key":"37_CR13","unstructured":"N. Rescher and R. Brandom. The Logic of Inconsistency. Blackwell, 1980."},{"key":"37_CR14","first-page":"22","volume":"23","author":"A. Tarski","year":"1930","unstructured":"A. Tarski. \u00dcber einige fundamentale Begriffe der Metamathematik. C.R. Soc. Sciences et Lettres de Varsovie, 23, cl. III:22\u201329, 1930. Trad. fran\u00e7aise parue dans Logique, s\u00e9mantique, m\u00e9tamath\u00e9matique, tome 1, Tarski, A., Armand Collin publ., Paris 1972. English translation in Logic, Semantics, Metamathematics. Papers from 1923\u20131938 (Woodger ed.), Clarendon Press, Oxford, 1956.","journal-title":"C.R. Soc. Sciences et Lettres de Varsovie"},{"key":"37_CR15","unstructured":"Raymond Turner. Logics for artificial intelligence. Hellis Horwood Ltd, 1984."}],"container-title":["Lecture Notes in Computer Science","Advances in Intelligent Computing \u2014 IPMU '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035969","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T14:33:34Z","timestamp":1555425214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035969"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601166","9783540494430"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0035969","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}