{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:54Z","timestamp":1761611274733},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540252368"},{"type":"electronic","value":"9783540322757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32275-7_33","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T16:14:41Z","timestamp":1292861681000},"page":"496-510","source":"Crossref","is-referenced-by-count":19,"title":["Uniform Rules and Dialogue Games for Fuzzy Logics"],"prefix":"10.1007","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian G.","family":"Ferm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Metcalfe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Aguzzoli, S.: Uniform description of calculi for all t-norm logics. In: Henkin, L., et al. (eds.) Proceedings of 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), pp. 38\u201343 (2004)","DOI":"10.1109\/ISMVL.2004.1319917"},{"issue":"3\u20134","key":"33_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\u00a04(3\u20134), 225\u2013248 (1991)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"2","key":"33_CR3","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/A:1013813806341","volume":"69","author":"A. Avron","year":"2001","unstructured":"Avron, A., Konikowska, B.: Decomposition Proof Systems for G\u00f6del-Dummett Logics. Studia Logica\u00a069(2), 197\u2013219 (2001)","journal-title":"Studia Logica"},{"key":"33_CR4","first-page":"181","volume-title":"International Symposium on Multiple Valued Logic (ISMVL 2001)","author":"M. Baaz","year":"2001","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.: Cut-elimination in a sequents-of-relations calculus for G\u00f6del logic. In: International Symposium on Multiple Valued Logic (ISMVL 2001), pp. 181\u2013186. IEEE, Los Alamitos (2001)"},{"key":"33_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/3-540-48754-9_8","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"M. Baaz","year":"1999","unstructured":"Baaz, M., Ferm\u00fcller, C.: Analytic calculi for projective logics. In: Murray, N.V. (ed.) TABLEAUX 1999. LNCS (LNAI), vol.\u00a01617, pp. 36\u201350. Springer, Heidelberg (1999)"},{"key":"33_CR6","unstructured":"Ferm\u00fcller, C., Preining, N.: A dialogue game for intuitionistic fuzzy logic based on comparison of degrees of truth. In: Proceedings of In Tech 2003 (2003)"},{"issue":"33","key":"33_CR7","first-page":"399","volume":"4","author":"R. Giles","year":"1974","unstructured":"Giles, R.: A non-classical logic for physics. Studia Logica\u00a04(33), 399\u2013417 (1974)","journal-title":"Studia Logica"},{"key":"33_CR8","unstructured":"Giles, R.: A non-classical logic for physics. In: Wojcicki, R., Malinkowski, G. (eds.) Selected Papers on \u0141ukasiewicz Sentential Calculi, pp. 13\u201351. Polish Academy of Sciences (1977)"},{"key":"33_CR9","volume-title":"Automated Deduction in Multiple-Valued Logics","author":"R. H\u00e4hnle","year":"1993","unstructured":"H\u00e4hnle, R.: Automated Deduction in Multiple-Valued Logics. Oxford University Press, Oxford (1993)"},{"key":"33_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"key":"33_CR11","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/263867.263489","volume":"44","author":"P.G. Jeavons","year":"1997","unstructured":"Jeavons, P.G., Cohen, D.A., Gyssens, M.: Closure properties of constraints. The Journal of the ACM\u00a044, 527\u2013548 (1997)","journal-title":"The Journal of the ACM"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"Lorenzen, P.: Logik und Agon. In: tti Congr. Internaz. di Filosofia, pp. 187\u2013194. Sansoni (1960)","DOI":"10.5840\/wcp1219604110"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-540-45220-1_33","volume-title":"Computer Science Logic","author":"G. Metcalfe","year":"2003","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Goal-directed calculi for G\u00f6del-Dummett logics. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 413\u2013426. Springer, Heidelberg (2003)"},{"issue":"7","key":"33_CR14","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1007\/s00153-004-0225-3","volume":"43","author":"G. Metcalfe","year":"2004","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Analytic proof calculi for product logics. Archive for Mathematical Logic\u00a043(7), 859\u2013889 (2004)","journal-title":"Archive for Mathematical Logic"},{"key":"33_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-540-30124-0_10","volume-title":"Computer Science Logic","author":"G. Metcalfe","year":"2004","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Goal-directed methods for \u0141ukasiewicz logics. In: Marcinkowski, J., Tarlecki, A. (eds.) CSL 2004. LNCS, vol.\u00a03210, pp. 85\u201399. Springer, Heidelberg (2004)"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Sequent and hypersequent calculi for abelian and \u0141ukasiewicz logics. To appear in ACM TOCL (2005)","DOI":"10.1145\/1071596.1071600"},{"key":"33_CR17","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1987","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. John Wiley and Sons, Chichester (1987)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32275-7_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:35:13Z","timestamp":1605742513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32275-7_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540252368","9783540322757"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32275-7_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}