{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:35Z","timestamp":1725664295406},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580959"},{"type":"electronic","value":"9783540484516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58095-6_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:13:36Z","timestamp":1330269216000},"page":"31-40","source":"Crossref","is-referenced-by-count":0,"title":["Gentzen sequent calculus for possibilistic reasoning"],"prefix":"10.1007","author":[{"given":"Churn Jung","family":"Liau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand I -Peng","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1016\/S1385-7258(53)50042-3","volume":"15","author":"E. W. Beth","year":"1953","unstructured":"Beth, E. W.: \u201cOn Padoa's method in the theory of definition,\u201d in: Indag. Math. 15 (1953) 330\u2013339.","journal-title":"Indag. Math."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"250","DOI":"10.2307\/2963593","volume":"22","author":"W. Craig","year":"1957","unstructured":"Craig, W.: \u201cLinear reasoning. A new form of the Herbrand-Gentzen theorem,\u201d in: Journal of Symbol Logic 22 (1957a) 250\u2013268.","journal-title":"Journal of Symbol Logic"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W. Craig","year":"1957","unstructured":"Craig, W.: \u201cThree uses of the Herbrand-Gentzen theorem in relating model theory to proof theory,\u201d in: Journal of Symbol Logic 22 (1957b) 269\u2013285.","journal-title":"Journal of Symbol Logic"},{"key":"3_CR4","unstructured":"Dubois, D., J. Lang, and H. Prade: \u201cFuzzy sets in approximate reasoning. Part 2: Logical approache,\u201d in: Fuzzy Sets and Systems, 25th Anniversary volume, 1990."},{"key":"3_CR5","unstructured":"Dubois, D., and H. Prade: \u201cAn introduction to possibilistic and fuzzy logics,\u201d in: P. Smets et al. (eds.), Non-standard Logics for Automated Reasoning, Academic Press (1988) 287\u2013325."},{"key":"3_CR6","unstructured":"Dubois, D., H. Prade, and C. Testmale: \u201cIn search of a modal system for possibility theory,\u201d in: Proc. of ECAI-88 (1988) 501\u2013506."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Farinas del Cerro, L., and A. Herzig: \u201cA modal analysis of possibility theory,\u201d in: Kruse and Siegel (eds.), Proc. of ECSQAU. Springer Verlag, LNAI 548 (1991) 58\u201362.","DOI":"10.1007\/3-540-54507-7_2"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Fitting, M.C.: Proof Methods for Modal and Intuitionistic Logics. Vol. 169 of Synthese Library, D. Reidel Publishing Company, 1983.","DOI":"10.1007\/978-94-017-2794-5"},{"key":"3_CR9","unstructured":"Gaifman, H.: \u201cA theory of higher order probabilities,\u201d in: J. Y. Halpern (ed.), Proceeding of 1st Conference on Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann, (1986) 275\u2013292."},{"key":"3_CR10","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G.: \u201cInvestigation into logical deduction,\u201d in: M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen Amsterdam: North-Holland (1969) 68\u2013131."},{"key":"3_CR11","unstructured":"Liau, C. J., and I. P. Lin: \u201cQuantitative modal logic and possibilistic reasoning,\u201d in: Proc. of ECAI 92, 1992."},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A.: \u201cA machine oriented logic based on the resolution principle,\u201d in: JACM 12 (1965) 23\u201341.","journal-title":"JACM"},{"key":"3_CR13","unstructured":"Wallen, L.: \u201cMatrix proofs for modal logics,\u201d in: Proc. of IJCAI (1987) 917\u2013923."},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"L. A. Zadeh","year":"1978","unstructured":"Zadeh, L. A.: \u201cFuzzy sets as a basis for a theory of possibility,\u201d in: Fuzzy Sets and Systems, 1 (1978) 3\u201328.","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Lecture Notes in Computer Science","Knowledge Representation and Reasoning Under Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58095-6_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:02Z","timestamp":1619572262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58095-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580959","9783540484516"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58095-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}