{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:56:53Z","timestamp":1729663013721,"version":"3.28.0"},"reference-count":45,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2002.1011077","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T20:42:54Z","timestamp":1056573774000},"page":"104-114","source":"Crossref","is-referenced-by-count":1,"title":["Consequence and complexity in infinite-valued logic: a survey"],"prefix":"10.1109","author":[{"given":"V.","family":"Marra","sequence":"first","affiliation":[]},{"given":"D.","family":"Mundici","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548300000080"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.2307\/2689593"},{"key":"ref33","article-title":"Naplo az inform aci oelm eletról Gondolat, Budapest","author":"r\u00e9nyi","year":"1984","journal-title":"English translation A Diary on Information Theory"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90077-7"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0097-3165(87)90065-3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00303-6"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90270-P"},{"journal-title":"Theory of linear and integer programming John Wiley & Sons Ltd","year":"1986","author":"schrijver","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1958-0094299-1"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(80)90014-8"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","author":"cignoli","year":"2000","journal-title":"Algebraic Foundations of Many-Valued Reasoning"},{"journal-title":"Logic Semantics Metamathematics Papers from 1923 to 1938","year":"1956","author":"tarski","key":"ref40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(79)90329-2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0097-3165(89)90062-9"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2969\/aspm\/00610481","article-title":"Complete symmetric varieties. I I. Intersection theory","author":"de concini","year":"1985","journal-title":"Algebraic groups and related topics (Kyoto\/Nagoya 1983)"},{"key":"ref14","first-page":"367","article-title":"Information transmission in a channel with feedback","volume":"34","author":"dobrushin","year":"1974","journal-title":"Theory of Probability and Applications"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4044-0","author":"ewald","year":"1996","journal-title":"Combinatorial Convexity and Algebraic Geometry"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-30.1.53"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1112\/S002461070300468X"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3627-4_4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511662096.004"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00030-3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1958-0094302-9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-0215-5_6"},{"key":"ref3","first-page":"61","article-title":"Block coding for the binary symmetric channel with noiseless, delayless feedback","author":"berlekamp","year":"1968","journal-title":"Error-Correcting Codes"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44968-X_16"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.2307\/2275851"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2307\/1993423"},{"key":"ref8","first-page":"113","article-title":"Free lattice-ordered abelian groups and varieties of MV-algebras","author":"cignoli","year":"1993","journal-title":"Proceedings of the IX Latin American Symposium on Mathematical Logic Part 1 (Bah"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00116-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s001530100118"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004991931741"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008311022292"},{"key":"ref20","first-page":"68","article-title":"On certain algebras related to many-valued logics","volume":"8","author":"mangani","year":"1973","journal-title":"Boll Un Mat Ital"},{"key":"ref45","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8431-1","author":"ziegler","year":"1995","journal-title":"Lectures on Polytopes"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90083-1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.2307\/2268660"},{"key":"ref42","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07998-0","author":"van lint","year":"1982","journal-title":"Introduction to Coding Theory"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511983474.017"},{"journal-title":"Adventures of a Mathematician","year":"1976","author":"ulam","key":"ref41"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/069\/933811"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19730191405"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(00)00051-8"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/BF01733295"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.2307\/2275410"}],"event":{"name":"32nd IEEE International Symposium on Multi-Valued Logic","acronym":"ISMVL-02","location":"Boston, MA, USA"},"container-title":["Proceedings 32nd IEEE International Symposium on Multiple- Valued Logic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7900\/21788\/01011077.pdf?arnumber=1011077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T22:56:37Z","timestamp":1585004197000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1011077\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2002.1011077","relation":{},"subject":[]}}