{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:51:10Z","timestamp":1743148270255,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"9783540648277"},{"type":"electronic","value":"9783540685326"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055769","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:36:31Z","timestamp":1155836191000},"page":"203-212","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Proof theory of fuzzy logics: Urquhart's C and related logics"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[]},{"given":"Agata","family":"Ciabattoni","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Ferm\u00fcller","sequence":"additional","affiliation":[]},{"given":"Helmut","family":"Veith","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"16_CR1","unstructured":"Adillon, R. J., Verd\u00fa, V.: On the \u00ae, \u2227, \u2200, \u2299, 0\u2212contraction-less Intuitionistic Propositional Calculus. Draft. 1997."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A. Avron","year":"1991","unstructured":"Avron, A.: Hypersequents, Logical Consequence and Intermediate Logics for Concurrency. Annals of Mathematics and Artificial Intelligence Vol.4, 1991, 225\u2013248.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"16_CR3","first-page":"1","volume-title":"The Method of Hypersequents in Proof Theory of Propositional Non-Classical Logics","author":"A. Avron","year":"1996","unstructured":"Avron, A.: The Method of Hypersequents in Proof Theory of Propositional Non-Classical Logics. In Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20\u201329, 1993. Oxford, Clarendon Press, 1996, 1\u201332."},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1017\/S0022481200125848","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M.: A Propositional Logic with Denumerable Matrix. Journal of Symbolic Logic Vol. 24, 1959, 96\u2013107.","journal-title":"Journal of Symbolic Logic"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"795","DOI":"10.2307\/2275431","volume":"57\/3","author":"R. Dyckhoff","year":"1992","unstructured":"Dyckhoff, R.: Contraction-Free Sequent Calculi for Intuitionistic Logic. The Journal of Symbolic Logic, Vol. 57\/3, 1992, 795\u2013807.","journal-title":"The Journal of Symbolic Logic"},{"key":"16_CR6","first-page":"34","volume":"4","author":"K. G\u00f6del","year":"1933","unstructured":"G\u00f6del, K.: Zum Intuitionistischen Aussagenkalk\u00fcl. Ergebnisse eines mathematischen Kolloquiums 4, 1933, 34\u201338.","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"16_CR7","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, to appear."},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","author":"P. H\u00e1jek","year":"1996","unstructured":"H\u00e1jek, P., Godo L., Esteva, F.: A complete many-valued logic with productconjunction. Archive for Math. Logic, Vol. 35 (1996), 191\u2013208.","journal-title":"Archive for Math. Logic"},{"key":"16_CR9","unstructured":"\u0142ukasiewicz, J.: Zagadnienia prawdy (The problems of truth). In Ksiega pamiatkowa XI zjazdu lekarzy i przyrodnik\u00f3w polskich 1922, 84\u201385,87."},{"key":"16_CR10","first-page":"51","volume":"23","author":"J. \u0142ukasiewicz","year":"1930","unstructured":"\u0142ukasiewicz, J.: Philosophische Bemerkungen zu mehrwertigen Systemen der Aussagenlogik. Comptes Rendus de la Societe des Science et de Lettres de Varsovie, cl.iii 23 (1930), 51\u201377.","journal-title":"Comptes Rendus de la Societe des Science et de Lettres de Varsovie"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1305\/ndjfl\/1040149356","volume":"36\/3","author":"J.M. Mend\u00e9z","year":"1995","unstructured":"Mend\u00e9z, J.M., Salto, F.: Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom. Notre Dame Journal of Formal Logic, Vol. 36\/3, 1995, 407\u2013413.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF00370189","volume":"50\/2","author":"E. Kiriyama","year":"1991","unstructured":"Kiriyama, E., Ono, H.: The Contraction Rule in Decision Problems for Logics without Structural Rules. Studia Logica, Vol. 50\/2, 1991, 299\u2013319.","journal-title":"Studia Logica"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2273798","volume":"50\/1","author":"H. Ono","year":"1985","unstructured":"Ono, H., Komori, Y.: Logics without the Contraction Rule. The Journal of Symbolic Logic, Vol. 50\/1, 1985, 169\u2013201.","journal-title":"The Journal of Symbolic Logic"},{"key":"16_CR14","unstructured":"Troelstra, A. S., Schwichtenberg, H.: Basic Proof Theory. Cambridge University Press. 1996."},{"key":"16_CR15","volume-title":"Handbook of Philosophical Logic, Vol III","author":"A. Urquhart","year":"1984","unstructured":"Urquhart, A.: Many-Valued Logic, in Handbook of Philosophical Logic, Vol III, ed. by D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1984."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Zadeh, L.A.: Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems. Selected Papers by Lotfi A. Zadeh ed. by G.J. Klir and B. Yuan. World Scientific Publishing, 1996.","DOI":"10.1142\/2895"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1998"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T14:17:55Z","timestamp":1676643475000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0055769"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648277","9783540685326"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0055769","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}