{"id":"https://openalex.org/W2138601456","doi":"https://doi.org/10.1093/jigpal/jzq041","title":"The logic of distributive bilattices","display_name":"The logic of distributive bilattices","publication_year":2010,"publication_date":"2010-09-17","ids":{"openalex":"https://openalex.org/W2138601456","doi":"https://doi.org/10.1093/jigpal/jzq041","mag":"2138601456"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzq041","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzq041","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of IGPL","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://e-spacio.uned.es/fez/view/bibliuned:81-Urivieccio-0002","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025834328","display_name":"F\u00e9lix Bou","orcid":null},"institutions":[{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]},{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["ES","IT"],"is_corresponding":true,"raw_author_name":"F. Bou","raw_affiliation_strings":["Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain and 2 Department of Philosophy, University of Genoa, Via Balbi 4, Genova 16126, Italy","Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain and 2Department of Philosophy, University of Genoa, Via Balbi 4, Genova 16126, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain and 2 Department of Philosophy, University of Genoa, Via Balbi 4, Genova 16126, Italy","institution_ids":["https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain and 2Department of Philosophy, University of Genoa, Via Balbi 4, Genova 16126, Italy","institution_ids":["https://openalex.org/I4210131846","https://openalex.org/I83816512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008197317","display_name":"Umberto Rivieccio","orcid":"https://orcid.org/0000-0003-1364-5003"},"institutions":[{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]},{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["ES","IT"],"is_corresponding":false,"raw_author_name":"U. Rivieccio","raw_affiliation_strings":["Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain and 2 Department of Philosophy, University of Genoa, Via Balbi 4, Genova 16126, Italy","Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain and 2Department of Philosophy, University of Genoa, Via Balbi 4, Genova 16126, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain and 2 Department of Philosophy, University of Genoa, Via Balbi 4, Genova 16126, Italy","institution_ids":["https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain and 2Department of Philosophy, University of Genoa, Via Balbi 4, Genova 16126, Italy","institution_ids":["https://openalex.org/I4210131846","https://openalex.org/I83816512"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5025834328"],"corresponding_institution_ids":["https://openalex.org/I4210131846","https://openalex.org/I83816512"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":4.1325,"has_fulltext":true,"cited_by_count":37,"citation_normalized_percentile":{"value":0.94151732,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"19","issue":"1","first_page":"183","last_page":"216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9994000196456909,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9825999736785889,"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/distributive-property","display_name":"Distributive property","score":0.5497272610664368},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.4437529444694519},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.39097416400909424},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3900446593761444},{"id":"https://openalex.org/keywords/art-history","display_name":"Art history","score":0.34889358282089233},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.30736494064331055},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07364305853843689}],"concepts":[{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.5497272610664368},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4437529444694519},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.39097416400909424},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3900446593761444},{"id":"https://openalex.org/C52119013","wikidata":"https://www.wikidata.org/wiki/Q50637","display_name":"Art history","level":1,"score":0.34889358282089233},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.30736494064331055},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07364305853843689},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1093/jigpal/jzq041","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzq041","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of IGPL","raw_type":"journal-article"},{"id":"pmh:bibliuned:81-Urivieccio-0002","is_oa":true,"landing_page_url":"http://e-spacio.uned.es/fez/view/bibliuned:81-Urivieccio-0002","pdf_url":null,"source":{"id":"https://openalex.org/S2737644977","display_name":"Espacio Tiempo y Forma Serie I Prehistoria y Arqueolog\u00eda","issn_l":"1131-7698","issn":["1131-7698","2340-1354"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310321040","host_organization_name":"National University of Distance Education","host_organization_lineage":["https://openalex.org/P4310321040"],"host_organization_lineage_names":["National University of Distance Education"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Logic Journal of the IGPL, 19 (1), 2011, p. 183-216.","raw_type":"info:eu-repo/semantics/acceptedVersion"},{"id":"pmh:oai:digital.csic.es:10261/139265","is_oa":true,"landing_page_url":"http://hdl.handle.net/10261/139265","pdf_url":null,"source":{"id":"https://openalex.org/S4306400616","display_name":"DIGITAL.CSIC (Spanish National Research Council (CSIC))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134820265","host_organization_name":"Consejo Superior de Investigaciones Cient\u00edficas","host_organization_lineage":["https://openalex.org/I134820265"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Art\u00edculo"},{"id":"pmh:oai:philarchive.org/rec/BOUTLO-9","is_oa":false,"landing_page_url":"https://philarchive.org/rec/BOUTLO-9","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philpapers.org/rec/BOUTLO-9","is_oa":false,"landing_page_url":"https://philpapers.org/rec/BOUTLO-9","pdf_url":null,"source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/983aca8a-ce32-4b70-839b-0bc61c5cb2af","is_oa":false,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/983aca8a-ce32-4b70-839b-0bc61c5cb2af","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bou, F & Rivieccio, U 2011, 'The Logic of Distributive Bilattices', Interest Group in Pure and Applied Logics. Logic Journal, vol. 19, no. 1, pp. 183-216. https://doi.org/10.1093/jigpal/jzq041","raw_type":"article"}],"best_oa_location":{"id":"pmh:bibliuned:81-Urivieccio-0002","is_oa":true,"landing_page_url":"http://e-spacio.uned.es/fez/view/bibliuned:81-Urivieccio-0002","pdf_url":null,"source":{"id":"https://openalex.org/S2737644977","display_name":"Espacio Tiempo y Forma Serie I Prehistoria y Arqueolog\u00eda","issn_l":"1131-7698","issn":["1131-7698","2340-1354"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310321040","host_organization_name":"National University of Distance Education","host_organization_lineage":["https://openalex.org/P4310321040"],"host_organization_lineage_names":["National University of Distance Education"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Logic Journal of the IGPL, 19 (1), 2011, p. 183-216.","raw_type":"info:eu-repo/semantics/acceptedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5082500379","display_name":null,"funder_award_id":"2009SGR-1433","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W93792258","https://openalex.org/W116349697","https://openalex.org/W1487409515","https://openalex.org/W1534252811","https://openalex.org/W1539588200","https://openalex.org/W1606448752","https://openalex.org/W1635116973","https://openalex.org/W1965284799","https://openalex.org/W1974112089","https://openalex.org/W1995375207","https://openalex.org/W1999780552","https://openalex.org/W2001805670","https://openalex.org/W2022427243","https://openalex.org/W2023648368","https://openalex.org/W2027379370","https://openalex.org/W2038185098","https://openalex.org/W2040164729","https://openalex.org/W2052887599","https://openalex.org/W2069397469","https://openalex.org/W2071149410","https://openalex.org/W2077395144","https://openalex.org/W2084592088","https://openalex.org/W2090633591","https://openalex.org/W2093713825","https://openalex.org/W2118244610","https://openalex.org/W2119148319","https://openalex.org/W2128126146","https://openalex.org/W2335542303","https://openalex.org/W4238120077","https://openalex.org/W4247559916","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2935909890","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W2748952813","https://openalex.org/W1531601525","https://openalex.org/W3193615524"],"abstract_inverted_index":{"Bilattices,":[0],"introduced":[1],"by":[2,207,331,346],"Ginsberg":[3],"(1988,":[4],"Comput.":[5,351],"Intell.,":[6],"265\u2013316)":[7],"as":[8,263],"a":[9,40,45,55,97,195,278,344,364,386],"uniform":[10],"framework":[11],"for":[12,58,154,300,320],"inference":[13],"in":[14,23,100,180,216,246,284],"artificial":[15],"intelligence,":[16],"are":[17,140,385],"algebraic":[18,92,108,172,192,220,235,250,316],"structures":[19],"that":[20,114,126,156,231,322,356],"proved":[21],"useful":[22],"many":[24],"fields.":[25],"In":[26,136],"recent":[27],"years,":[28],"Arieli":[29,83,132],"and":[30,53,84,125,133,160,168,289,295],"Avron":[31,347],"(1996,":[32,348],"J.":[33],"Logic":[34],"Lang.":[35],"Inform.,":[36],"5,":[37],"25\u201363)":[38],"developed":[39],"logical":[41,51,223],"system":[42],"based":[43,339],"on":[44,340],"class":[46,170,199,218,233,248],"of":[47,66,76,90,106,110,150,171,174,184,194,219,222,234,237,240,249,252,269,287,298,325,343,367,377],"bilattice-based":[48],"matrices,":[49],"called":[50],"bilattices,":[52,319],"provided":[54],"Gentzen-style":[56],"calculus":[57,280],"it.":[59],"This":[60,198,336],"logic":[61,71,86,93,145,242,277,306],"is":[62,80,129,158,186,213,243,261,282,308,329,338,361],"essentially":[63],"an":[64,121,341],"expansion":[65],"the":[67,73,88,104,107,148,169,181,191,204,208,217,226,232,247,285,296,305,323,332,375],"well-known":[68,270],"Belnap\u2013Dunn":[69],"four-valued":[70],"to":[72,81,102,120,142,147,189,202,363,374],"standard":[74],"language":[75],"bilattices.":[77,224],"Our":[78],"aim":[79],"study":[82],"Avron\u2019s":[85,134],"from":[87],"perspective":[89],"abstract":[91],"(AAL).":[94],"We":[95,152,162,311,371],"introduce":[96],"Hilbert-style":[98],"axiomatization":[99,128],"order":[101],"investigate":[103],"properties":[105],"models":[109,239],"this":[111,137,144],"logic,":[112],"proving":[113],"every":[115,357],"formula":[116],"can":[117,273],"be":[118,190,203],"reduced":[119,176,238,254],"equivalent":[122],"normal":[123],"form":[124],"our":[127,241,276],"complete":[130],"w.r.t.":[131],"semantics.":[135],"way,":[138],"we":[139,229,272],"able":[141],"classify":[143],"according":[146],"criteria":[149],"AAL.":[151],"show,":[153],"instance,":[155],"it":[157,373],"non-protoalgebraic":[159],"non-self-extensional.":[161],"also":[163,312],"characterize":[164],"its":[165,175,253],"Tarski":[166],"congruence":[167],"reducts":[173,221,236,251],"generalized":[177,255],"models,":[178],"which":[179,212,281,382],"general":[182],"theory":[183],"AAL":[185],"usually":[187],"taken":[188],"counterpart":[193],"sentential":[196],"logic.":[197],"turns":[200],"out":[201],"variety":[205,324],"generated":[206,330],"smallest":[209,333],"non-trivial":[210,334],"bilattice,":[211],"strictly":[214,244],"contained":[215],"On":[225],"other":[227],"hand,":[228],"prove":[230,313],"included":[245],"models.":[256],"Another":[257],"interesting":[258],"result":[259,337],"obtained":[260],"that,":[262],"happens":[264],"with":[265,275],"some":[266,314],"implicationless":[267],"fragments":[268],"logics,":[271],"associate":[274],"Gentzen":[279,293,301],"algebraizable":[283],"sense":[286],"Rebagliato":[288],"Verd\u00fa":[290],"(1995,":[291],"Algebraizable":[292],"Systems":[294],"Deduction":[297],"Theorem":[299],"Systems)":[302],"(even":[303],"if":[304],"itself":[307],"not":[309],"algebraizable).":[310],"purely":[315],"results":[317],"concerning":[318],"instance":[321],"(unbounded)":[326],"distributive":[327,383],"bilattices":[328,380,384],"bilattice.":[335],"improvement":[342],"theorem":[345],"Math.":[349],"Struct.":[350],"Sci.,":[352],"6,":[353],"287\u2013299)":[354],"stating":[355],"bounded":[358,369],"interlaced":[359,379],"bilattice":[360],"isomorphic":[362],"certain":[365],"product":[366],"two":[368],"lattices.":[370],"generalize":[372],"case":[376],"unbounded":[378],"(of":[381],"proper":[387],"subclass).":[388]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}