{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:44:21Z","timestamp":1725493461756},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759386"},{"type":"electronic","value":"9783540759393"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75939-3_14","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T01:47:10Z","timestamp":1193449630000},"page":"231-246","source":"Crossref","is-referenced-by-count":1,"title":["R\u00e9nyi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops"],"prefix":"10.1007","author":[{"given":"S\u00e1ndor","family":"Jenei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Montagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"W.J. Blok","year":"2000","unstructured":"Blok, W.J., Ferreirim, I.M.A.: On the structure of hoops. Algebra Universalis\u00a043, 233\u2013257 (2000)","journal-title":"Algebra Universalis"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Blok, W.J., Pigozzi, D.: Algebraizable Logics. Mem. Amer. Math. Soc., 396, vol.77, Amer. Math. Soc., Providence (1989)","DOI":"10.1090\/memo\/0396"},{"key":"14_CR3","series-title":"Graduate texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A course in Universal Algebra. Graduate texts in Mathematics. Springer, Heidelberg (1981)"},{"key":"14_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/978-3-540-32275-7_33","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A. Ciabattoni","year":"2005","unstructured":"Ciabattoni, A., Ferm\u00fcller, C., Metcalfe, G.: Uniform Rules and Dialogue Games for Fuzzy Logics. In: Baader, F., Voronkov, A. (eds.) LPAR 2004. LNCS (LNAI), vol.\u00a03452, pp. 496\u2013510. Springer, Heidelberg (2005)"},{"key":"14_CR5","unstructured":"Cicalese, F., Mundici, D.: Recent developements of feedback coding, and its relations with many-valued logic. In: van Benthem, J., Parikh, R., Ramanujam, R., Gupta, A. (eds.) FICL 2005. Proceedings of the First Indian Conference on Logic and its Applications, Bombay, India, January 2005 (to appear)"},{"key":"14_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic foundations of many-valued reasoning","author":"R. Cignoli","year":"2000","unstructured":"Cignoli, R., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht (2000)"},{"key":"14_CR7","first-page":"45","volume":"5","author":"R. Cignoli","year":"2000","unstructured":"Cignoli, R., Torrens, A.: An algebraic analysis of product logic. Mult. Val. Logic\u00a05, 45\u201365 (2000)","journal-title":"Mult. Val. Logic"},{"key":"14_CR8","unstructured":"Ferreirim, I.M.A.: On varieties and quasi varieties of hoops and their reducts, PhD thesis, University of Illinois at Chicago (1992)"},{"issue":"33","key":"14_CR9","first-page":"399","volume":"4","author":"R. Giles","year":"1974","unstructured":"Giles, R.: A non-classical logic for phisics. Studia Logica\u00a04(33), 399\u2013417 (1974)","journal-title":"Studia Logica"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1093\/logcom\/13.4.532","volume":"13","author":"F. Esteva","year":"2003","unstructured":"Esteva, F., Godo, L., H\u00e1jek, P., Montagna, F.: Hoops and fuzzy logic. Journal of Logic and Computation\u00a013, 531\u2013555 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"14_CR11","series-title":"Trends in Logic-Studia Logica Library","doi-asserted-by":"crossref","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. Trends in Logic-Studia Logica Library, vol.\u00a04. Kluwer Academic Publ., Dordercht (1998)"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-1-4757-3627-4_3","volume-title":"Ordered Algebraic structures","author":"P. Jipsen","year":"2002","unstructured":"Jipsen, P., Tsinakis, C.: A survey on residuated lattices. In: Martinez, J. (ed.) Ordered Algebraic structures, pp. 19\u201356. Kluwer, Dordrecht (2002)"},{"key":"14_CR13","unstructured":"Marini, C., Montagna, F., Simi, G.: Product logic and probabilistic R\u00e9nyi-Ulam games. In: Fuzzy Sets and Systems (preprint 2005, to appear)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Mundici, D.: The logic of Ulam\u2019s game with lies. In: Knowledge, Belief and Strategic Interaction, Cambridge Studies in Probability, Induction, and Decision Theory, pp. 275\u2013284 (1992)","DOI":"10.1017\/CBO9780511983474.017"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0304-3975(89)90077-7","volume":"63","author":"A. Pelc","year":"1989","unstructured":"Pelc, A.: Searching with known error probability. Theoretical Computer Science\u00a063, 185\u2013202 (1989)","journal-title":"Theoretical Computer Science"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0304-3975(01)00303-6","volume":"270","author":"A. Pelc","year":"2002","unstructured":"Pelc, A.: Searching games with errors - fifty years of coping with liars. Theoretical Computer Science\u00a0270, 71\u2013109 (2002)","journal-title":"Theoretical Computer Science"},{"key":"14_CR17","unstructured":"R\u00e9nyi, A.: Napl\u00f3 az inform\u00e1ci\u00f3elm\u00e9letr\u0151l, Gondolat, Budapest (1976) (English translation: A diary on Information Theory. J. Wiley and Sons, New York (1984))"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Ulam, S.M.: Adventures of a Mathematician. Scribner\u2019s, New York (1976)","DOI":"10.1063\/1.3024514"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Proof-theoretic Aspects of Non-classical Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75939-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:01:23Z","timestamp":1556920883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75939-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540759386","9783540759393"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75939-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}