{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:29Z","timestamp":1725664289767},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601128"},{"type":"electronic","value":"9783540494386"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60112-0_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:41:51Z","timestamp":1330278111000},"page":"60-68","source":"Crossref","is-referenced-by-count":5,"title":["A substructural connective for possibilistic logic"],"prefix":"10.1007","author":[{"given":"Luca","family":"Boldrin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"8_CR1","unstructured":"N. Alechina and P. Smets. A note on modal logics for partial beliefe (manuscript), 1994."},{"key":"8_CR2","unstructured":"Substructural connectives for merging information in possibilistic logic. LADSEB-CNR Int. Rep. 09, 1994."},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0020-0255(85)90027-1","volume":"36","author":"D. Dubois","year":"1985","unstructured":"D. Dubois and H. Prade. A review of fuzzy set aggregation connectives. Information Sciences 36, 1985, pp. 85\u2013121.","journal-title":"Information Sciences"},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1002\/int.4550090105","volume":"9","author":"D. Dubois","year":"1994","unstructured":"D. Dubois and H. Prade. A survey of belief revision and updating rules in various uncertainty models. Int. J. of Intelligent Systems 9, 1994, pp. 61\u2013100.","journal-title":"Int. J. of Intelligent Systems"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"D. Dubois, J. Lang and H. Prade. Possibilistic logic In: D. Gabbay, C. Hogger and J. Robinson (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3. Clarendon Press 1994.","DOI":"10.1093\/oso\/9780198537472.003.0009"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"R. Fagin and J. Y. Halpern. Reasoning about knowledge and probability. J. of the ACM, 41, 1994, pp. 340\u2013367.","journal-title":"J. of the ACM"},{"key":"8_CR7","unstructured":"D. Gabbay. Fibred semantics and the weaving of logics. Draft, Imperial College, 1992."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"J. Y. Girard. Linear logic. Theoretical computer science, 50, 1987, pp. 1\u2013101.","journal-title":"Theoretical computer science"},{"key":"8_CR9","unstructured":"P. Hajek, D. Harmancova and R. Verbrugge. A qualitative fuzzy possibilistic logic. Int. J. of Approximate Reasoning 7, 1994."},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(84)90047-1","volume":"32","author":"J. Ketonen","year":"1984","unstructured":"J. Ketonen and R. Weyhrauch. A decidable fragment of predicate calculus. Theoretical computer science 32, 1984, pp. 297\u2013307.","journal-title":"Theoretical computer science"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"T. Murai, M. Miyakoshi and M. Shimbo. Measure-based semantics for modal logic. In: R. Lowen and M. Roubens (eds.). Fuzzy logic. Kluwer Academic Publishers, 1993, pp. 395\u2013405.","DOI":"10.1007\/978-94-011-2014-2_37"},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19790250706","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"J. Pavelka. On fuzzy logic II. Zeitschr. f. math. Logik und Grundlagen d. Math 25, 1979, pp. 119\u2013131.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math"},{"key":"8_CR13","unstructured":"Meeting some neighbours. A dynamic logic meets theories of change and knowledge representation. In J. van Eijck and A. Visser: Logic and information flow. The MIT Press, 1994."},{"key":"8_CR14","unstructured":"K. I. Rosenthal. Quantales and their applications. Longman 1990."},{"key":"8_CR15","unstructured":"A. Saffiotti. A belief function logic. Proceedings of AAAI 1992, pp. 642\u2013647."},{"key":"8_CR16","unstructured":"G. Sambin. Pretopologies and the completeness proof. To appear in The J. of Symbolic Logic."},{"key":"8_CR17","unstructured":"F. Voorbraak. As far as I know. Epistemic logic and uncertainty. Phd dissertation, Dept. of Philosophy \u2014 Utrecht University, 1993."}],"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_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:41:04Z","timestamp":1713631264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60112-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601128","9783540494386"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60112-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}