{"id":"https://openalex.org/W2075766128","doi":"https://doi.org/10.1002/malq.200710058","title":"A note on the first\u2010order logic of complete BL\u2010chains","display_name":"A note on the first\u2010order logic of complete BL\u2010chains","publication_year":2008,"publication_date":"2008-07-01","ids":{"openalex":"https://openalex.org/W2075766128","doi":"https://doi.org/10.1002/malq.200710058","mag":"2075766128"},"language":"en","primary_location":{"id":"doi:10.1002/malq.200710058","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.200710058","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.200710058","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.200710058","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036484429","display_name":"Petr H\u00e1jek","orcid":"https://orcid.org/0000-0001-5579-1215"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Petr H\u00e1jek","raw_affiliation_strings":["Dept. of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109033991","display_name":"Franco Montagna","orcid":null},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Montagna","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","Dept. of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","institution_ids":["https://openalex.org/I102064193"]},{"raw_affiliation_string":"Dept. of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","institution_ids":["https://openalex.org/I102064193"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":1.2419,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.80851924,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"54","issue":"4","first_page":"435","last_page":"446"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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.9998000264167786,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9930999875068665,"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.9797999858856201,"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/mathematics","display_name":"Mathematics","score":0.7688654065132141},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.7169572710990906},{"id":"https://openalex.org/keywords/transfinite-number","display_name":"Transfinite number","score":0.6256901025772095},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.46786049008369446},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45422106981277466},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.4327784478664398},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43249285221099854},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.42538982629776},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4246533513069153},{"id":"https://openalex.org/keywords/predicate-variable","display_name":"Predicate variable","score":0.41027164459228516},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.11885538697242737},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.051707565784454346}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7688654065132141},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7169572710990906},{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.6256901025772095},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.46786049008369446},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45422106981277466},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4327784478664398},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43249285221099854},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.42538982629776},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4246533513069153},{"id":"https://openalex.org/C73314972","wikidata":"https://www.wikidata.org/wiki/Q10531432","display_name":"Predicate variable","level":5,"score":0.41027164459228516},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.11885538697242737},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.051707565784454346},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/malq.200710058","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.200710058","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.200710058","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:usiena-air.unisi.it:11365/7092","is_oa":false,"landing_page_url":"http://hdl.handle.net/11365/7092","pdf_url":null,"source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"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"}],"best_oa_location":{"id":"doi:10.1002/malq.200710058","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.200710058","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.200710058","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2075766128.pdf"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W629265671","https://openalex.org/W1580732237","https://openalex.org/W1979726628","https://openalex.org/W1985104705","https://openalex.org/W2091957209","https://openalex.org/W2098994964","https://openalex.org/W2110182592","https://openalex.org/W2155243756","https://openalex.org/W2171784431","https://openalex.org/W2474062823","https://openalex.org/W4213427446","https://openalex.org/W4232808478","https://openalex.org/W4246378692"],"related_works":["https://openalex.org/W1849497734","https://openalex.org/W4147469","https://openalex.org/W2370231096","https://openalex.org/W4388294919","https://openalex.org/W19518518","https://openalex.org/W2288835708","https://openalex.org/W2355149807","https://openalex.org/W1945403953","https://openalex.org/W4236259429","https://openalex.org/W2004906465"],"abstract_inverted_index":{"Abstract":[0],"In":[1,44],"[10]":[2],"it":[3],"is":[4,42],"claimed":[5],"that":[6,49],"the":[7,17,25,76],"set":[8,18,26],"of":[9,12,19,27,71,73],"predicate":[10,28],"tautologies":[11,22],"all":[13,20,32,55],"complete":[14,51],"BL\u2010chains":[15],"and":[16],"standard":[21,33,56],"(i.":[23],"e.,":[24],"formulas":[29],"valid":[30],"in":[31,38,97],"BL\u2010algebras)":[34],"coincide.":[35],"As":[36],"noticed":[37],"[11],":[39],"this":[40,45],"claim":[41],"wrong.":[43],"paper":[46],"we":[47],"show":[48],"a":[50,64,83,92],"BL\u2010chain":[52],"B":[53,74,98],"satisfies":[54],"BL\u2010tautologies":[57],"iff":[58],"for":[59],"any":[60],"transfinite":[61],"sequence":[62],"(":[63,82],"i":[65,67,79,85,89,93],":":[66],"\u2208":[68,80,90],"I":[69,81,91],")":[70,86,94],"elements":[72],",":[75],"condition":[77],"\u2227":[78],"2":[84,95],"=":[87],"(\u2227":[88],"holds":[96],".":[99],"(\u00a9":[100],"2008":[101],"WILEY\u2010VCH":[102],"Verlag":[103],"GmbH":[104],"&":[105],"Co.":[106],"KGaA,":[107],"Weinheim)":[108]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}