{"id":"https://openalex.org/W2111205199","doi":"https://doi.org/10.1109/ismvl.2002.1011077","title":"Consequence and complexity in infinite-valued logic: a survey","display_name":"Consequence and complexity in infinite-valued logic: a survey","publication_year":2003,"publication_date":"2003-06-25","ids":{"openalex":"https://openalex.org/W2111205199","doi":"https://doi.org/10.1109/ismvl.2002.1011077","mag":"2111205199"},"language":"en","primary_location":{"id":"doi:10.1109/ismvl.2002.1011077","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ismvl.2002.1011077","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 32nd IEEE International Symposium on Multiple- Valued Logic","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039757989","display_name":"Vincenzo Marra","orcid":"https://orcid.org/0000-0002-0727-4616"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"V. Marra","raw_affiliation_strings":["Department of Computer Science, University of Milan, Milan, Italy","Dept. of Comput. Sci., Milan Univ., Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Milan, Milan, Italy","institution_ids":["https://openalex.org/I189158943"]},{"raw_affiliation_string":"Dept. of Comput. Sci., Milan Univ., Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069739656","display_name":"Daniele Mundici","orcid":"https://orcid.org/0000-0002-6779-3362"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"D. Mundici","raw_affiliation_strings":["Department of Computer Science, University of Milan, Milan, Italy","Dept. of Comput. Sci., Milan Univ., Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Milan, Milan, Italy","institution_ids":["https://openalex.org/I189158943"]},{"raw_affiliation_string":"Dept. of Comput. Sci., Milan Univ., Italy","institution_ids":["https://openalex.org/I189158943"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5039757989"],"corresponding_institution_ids":["https://openalex.org/I189158943"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.18625252,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"34","issue":null,"first_page":"104","last_page":"114"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.5857076048851013},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5328394174575806},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5160324573516846},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5087371468544006},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4979867935180664},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4692426025867462},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4673460125923157},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4670162796974182},{"id":"https://openalex.org/keywords/realizability","display_name":"Realizability","score":0.46645301580429077},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.43244418501853943},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.42675572633743286},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.4188336431980133},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4060576558113098},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3359295129776001},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.30007755756378174},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2889878749847412},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.27247750759124756},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1745888590812683},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14074021577835083}],"concepts":[{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.5857076048851013},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5328394174575806},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5160324573516846},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5087371468544006},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4979867935180664},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4692426025867462},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4673460125923157},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4670162796974182},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.46645301580429077},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.43244418501853943},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42675572633743286},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.4188336431980133},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4060576558113098},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3359295129776001},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.30007755756378174},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2889878749847412},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.27247750759124756},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1745888590812683},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14074021577835083},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ismvl.2002.1011077","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ismvl.2002.1011077","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 32nd IEEE International Symposium on Multiple- Valued Logic","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W31288539","https://openalex.org/W1157511343","https://openalex.org/W1492332250","https://openalex.org/W1536409494","https://openalex.org/W1542388728","https://openalex.org/W1566552629","https://openalex.org/W1568406216","https://openalex.org/W1578620118","https://openalex.org/W1597196612","https://openalex.org/W1679470533","https://openalex.org/W1963547452","https://openalex.org/W1964136783","https://openalex.org/W1966763988","https://openalex.org/W1973630388","https://openalex.org/W1980180357","https://openalex.org/W1989632075","https://openalex.org/W2011308746","https://openalex.org/W2012072427","https://openalex.org/W2013088431","https://openalex.org/W2013700447","https://openalex.org/W2015385212","https://openalex.org/W2023793207","https://openalex.org/W2031184233","https://openalex.org/W2044712489","https://openalex.org/W2048175848","https://openalex.org/W2054186026","https://openalex.org/W2054457993","https://openalex.org/W2057841763","https://openalex.org/W2058515835","https://openalex.org/W2060345474","https://openalex.org/W2075027016","https://openalex.org/W2080126541","https://openalex.org/W2087171264","https://openalex.org/W2093146500","https://openalex.org/W2131306093","https://openalex.org/W2166370902","https://openalex.org/W2238682144","https://openalex.org/W2314134460","https://openalex.org/W2314591929","https://openalex.org/W2320175673","https://openalex.org/W2809548040","https://openalex.org/W2942528921","https://openalex.org/W4206570602","https://openalex.org/W4213086508","https://openalex.org/W4250174612","https://openalex.org/W4254853073","https://openalex.org/W6627564944","https://openalex.org/W6669187061"],"related_works":["https://openalex.org/W206382595","https://openalex.org/W1992216257","https://openalex.org/W1555566156","https://openalex.org/W4313156797","https://openalex.org/W2010884894","https://openalex.org/W4253721198","https://openalex.org/W1571826459","https://openalex.org/W4280616561","https://openalex.org/W2140640825","https://openalex.org/W4287634368"],"abstract_inverted_index":{"In":[0,79],"general,":[1],"every":[2],"logic":[3,87],"L":[4],"comes":[5],"equipped":[6],"with:":[7],"(i)":[8],"a":[9,13,41,64,107],"syntax,":[10],"consisting":[11],"of":[12,18,27,38,46,68,77,97,103],"finite":[14,65],"set":[15,66],"/spl":[16,31],"Ascr/":[17,32],"symbols,":[19],"called":[20,36],"the":[21,44],"alphabet,":[22],"and":[23,57],"an":[24,59,94],"inductive":[25],"definition":[26],"which":[28],"strings":[29],"over":[30],"are":[33,55],"to":[34,91,116,126],"be":[35],"formula":[37],"L;":[39],"(ii)":[40],"semantics,":[42],"telling":[43,51],"meaning":[45],"each":[47],"formula,":[48],"in":[49,72,85,112],"particular":[50,124],"when":[52],"two":[53],"formulae":[54,89],"equivalent;":[56],"(iii)":[58],"algorithmic":[60],"procedure":[61],"whereby,":[62],"given":[63],"F":[67],"formulae,":[69],"one":[70],"can":[71],"principle":[73],"obtain":[74],"all":[75],"consequences":[76],"F.":[78],"certain":[80],"fortunate":[81,108],"cases":[82],"-":[83,88],"e.g.":[84],"classical":[86],"up":[90],"equivalence":[92],"form":[93],"interesting":[95],"class":[96],"algebraic":[98],"structures.":[99],"The":[100],"infinite-valued":[101],"calculus":[102],"Lukasiewicz":[104],"is":[105,115],"such":[106],"case.":[109],"Our":[110],"aim":[111],"this":[113,121],"paper":[114],"review":[117],"semantic-algorithmic":[118],"issues":[119],"for":[120],"logic,":[122],"with":[123],"reference":[125],"recent":[127],"research.":[128]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}