{"id":"https://openalex.org/W1977812651","doi":"https://doi.org/10.1215/00294527-1499336","title":"Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras","display_name":"Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras","publication_year":2011,"publication_date":"2011-07-01","ids":{"openalex":"https://openalex.org/W1977812651","doi":"https://doi.org/10.1215/00294527-1499336","mag":"1977812651"},"language":"en","primary_location":{"id":"doi:10.1215/00294527-1499336","is_oa":true,"landing_page_url":"https://doi.org/10.1215/00294527-1499336","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-52/issue-4/Quantifier-Elimination-and-Other-Model-Theoretic-Properties-of-BL-Algebras/10.1215/00294527-1499336.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-52/issue-4/Quantifier-Elimination-and-Other-Model-Theoretic-Properties-of-BL-Algebras/10.1215/00294527-1499336.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003970194","display_name":"Tommaso Cortonesi","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tommaso Cortonesi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025216560","display_name":"Enrico Marchioni","orcid":"https://orcid.org/0000-0002-1238-9186"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Enrico Marchioni","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5109033991","display_name":"Franco Montagna","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Franco Montagna","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5003970194"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9694,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.74516259,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"52","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9909999966621399,"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.9909999966621399,"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.9763000011444092,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/quantifier-elimination","display_name":"Quantifier elimination","score":0.9310981035232544},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7342137098312378},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.6487165093421936},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6416635513305664},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6335462331771851},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5990951061248779},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.5584328174591064},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.4990873336791992},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.41168588399887085},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4032430052757263},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3905332684516907},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2982330322265625},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.26934927701950073},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08861485123634338},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.05451607704162598},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.05446287989616394},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.049706071615219116}],"concepts":[{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.9310981035232544},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7342137098312378},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.6487165093421936},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6416635513305664},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6335462331771851},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5990951061248779},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.5584328174591064},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.4990873336791992},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.41168588399887085},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4032430052757263},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3905332684516907},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2982330322265625},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.26934927701950073},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08861485123634338},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.05451607704162598},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.05446287989616394},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.049706071615219116},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1215/00294527-1499336","is_oa":true,"landing_page_url":"https://doi.org/10.1215/00294527-1499336","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-52/issue-4/Quantifier-Elimination-and-Other-Model-Theoretic-Properties-of-BL-Algebras/10.1215/00294527-1499336.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1320427642","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1320427642","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:digital.csic.es:10261/138261","is_oa":true,"landing_page_url":"http://hdl.handle.net/10261/138261","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:eprints.soton.ac.uk:416591","is_oa":false,"landing_page_url":"https://eprints.soton.ac.uk/416591/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:usiena-air.unisi.it:11365/36824","is_oa":false,"landing_page_url":"http://hdl.handle.net/11365/36824","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.1215/00294527-1499336","is_oa":true,"landing_page_url":"https://doi.org/10.1215/00294527-1499336","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-52/issue-4/Quantifier-Elimination-and-Other-Model-Theoretic-Properties-of-BL-Algebras/10.1215/00294527-1499336.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7799999713897705,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1636829232","display_name":null,"funder_award_id":"CSD2007-0022","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G2039920466","display_name":null,"funder_award_id":"2009-SGR-1434","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G2060602261","display_name":null,"funder_award_id":"CONSOLIDER CSD2007-0022, INGENIO 2010","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G2211805331","display_name":null,"funder_award_id":"MICINN","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G4786115336","display_name":null,"funder_award_id":"-SGR-","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G6359109493","display_name":null,"funder_award_id":"2009-SGR-14","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"}],"funders":[{"id":"https://openalex.org/F4320321505","display_name":"Generalitat de Catalunya","ror":"https://ror.org/01bg62x04"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1977812651.pdf","grobid_xml":"https://content.openalex.org/works/W1977812651.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W12573732","https://openalex.org/W35044328","https://openalex.org/W629265671","https://openalex.org/W1499179478","https://openalex.org/W1502621657","https://openalex.org/W1503075583","https://openalex.org/W1514758454","https://openalex.org/W1566552629","https://openalex.org/W1969303818","https://openalex.org/W1972451186","https://openalex.org/W1985712767","https://openalex.org/W1989431146","https://openalex.org/W2000260716","https://openalex.org/W2024065710","https://openalex.org/W2071903224","https://openalex.org/W2082093772","https://openalex.org/W2091957209","https://openalex.org/W2098994964","https://openalex.org/W2110182592","https://openalex.org/W2330548796","https://openalex.org/W6630351224","https://openalex.org/W6630932623","https://openalex.org/W6641519380","https://openalex.org/W6647571053","https://openalex.org/W6732303128","https://openalex.org/W6833343119","https://openalex.org/W7074662707"],"related_works":["https://openalex.org/W2040139795","https://openalex.org/W2131625422","https://openalex.org/W2289770768","https://openalex.org/W2009316932","https://openalex.org/W2766222296","https://openalex.org/W1977812651","https://openalex.org/W1989755617","https://openalex.org/W2050102558","https://openalex.org/W184413736","https://openalex.org/W1987762167"],"abstract_inverted_index":{"This":[0],"work":[1],"presents":[2],"a":[3],"model-theoretic":[4],"approach":[5],"to":[6,68],"the":[7,26,54,58,65,69],"study":[8],"of":[9,12,14,23,29,48,71],"first-order":[10,32],"theories":[11],"classes":[13,22,47],"BL-chains.":[15],"Among":[16],"other":[17],"facts,":[18],"we":[19,45,63],"present":[20],"several":[21],"BL-algebras,":[24,30],"generating":[25],"whole":[27],"variety":[28],"whose":[31],"theory":[33],"has":[34],"quantifier":[35],"elimination.":[36],"Model-completeness":[37],"and":[38,62],"decision":[39],"problems":[40],"are":[41],"also":[42],"investigated.":[43],"Then":[44],"investigate":[46],"BL-algebras":[49],"having":[50],"(or":[51],"not":[52],"having)":[53],"amalgamation":[55],"property":[56,61],"or":[57],"joint":[59],"embedding":[60],"relate":[64],"above":[66],"properties":[67],"existence":[70],"ultrahomogeneous":[72],"models.":[73]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}