{"id":"https://openalex.org/W2015741795","doi":"https://doi.org/10.1002/malq.201020098","title":"On the free implicative semilattice extension of a Hilbert algebra","display_name":"On the free implicative semilattice extension of a Hilbert algebra","publication_year":2012,"publication_date":"2012-01-11","ids":{"openalex":"https://openalex.org/W2015741795","doi":"https://doi.org/10.1002/malq.201020098","mag":"2015741795"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201020098","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201020098","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076062079","display_name":"Sergio A. Celani","orcid":"https://orcid.org/0000-0003-2542-4128"},"institutions":[{"id":"https://openalex.org/I3130805194","display_name":"Universidad Nacional del Centro de la Provincia de Buenos Aires","ror":"https://ror.org/011gakh74","country_code":"AR","type":"education","lineage":["https://openalex.org/I3130805194"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Sergio A. Celani","raw_affiliation_strings":["Departamento de Matema\u0301ticas, Universidad Nacional del Centro de la Provincia de Buenos Aires, Pinto 399, 7000 Tandil, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matema\u0301ticas, Universidad Nacional del Centro de la Provincia de Buenos Aires, Pinto 399, 7000 Tandil, Argentina","institution_ids":["https://openalex.org/I3130805194"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076924750","display_name":"Ram\u00f3n Jansana","orcid":"https://orcid.org/0000-0003-4191-5699"},"institutions":[{"id":"https://openalex.org/I3130805194","display_name":"Universidad Nacional del Centro de la Provincia de Buenos Aires","ror":"https://ror.org/011gakh74","country_code":"AR","type":"education","lineage":["https://openalex.org/I3130805194"]},{"id":"https://openalex.org/I4210126640","display_name":"Instituto de Filosof\u00eda","ror":"https://ror.org/031y0e568","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210126640"]},{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["AR","ES"],"is_corresponding":true,"raw_author_name":"Ramon Jansana","raw_affiliation_strings":["Departament de Lo\u0300gica, Histo\u0300ria i Filosofia de la Cie\u0300ncia. Facultat de Filosofia, Universitat de Barcelona, Montalegre 6, 08001 Barcelona, Spain","Departamento de Matema\u0301ticas, Universidad Nacional del Centro de la Provincia de Buenos Aires, Pinto 399, 7000 Tandil, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departament de Lo\u0300gica, Histo\u0300ria i Filosofia de la Cie\u0300ncia. Facultat de Filosofia, Universitat de Barcelona, Montalegre 6, 08001 Barcelona, Spain","institution_ids":["https://openalex.org/I4210126640","https://openalex.org/I71999127"]},{"raw_affiliation_string":"Departamento de Matema\u0301ticas, Universidad Nacional del Centro de la Provincia de Buenos Aires, Pinto 399, 7000 Tandil, Argentina","institution_ids":["https://openalex.org/I3130805194"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5076924750"],"corresponding_institution_ids":["https://openalex.org/I3130805194","https://openalex.org/I4210126640","https://openalex.org/I71999127"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":1.6999,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.83916779,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"58","issue":"3","first_page":"188","last_page":"207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9984999895095825,"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.9984999895095825,"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.9936000108718872,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9840999841690063,"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/semilattice","display_name":"Semilattice","score":0.9177623987197876},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8469983339309692},{"id":"https://openalex.org/keywords/hilberts-basis-theorem","display_name":"Hilbert's basis theorem","score":0.6305169463157654},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.612859845161438},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5871917605400085},{"id":"https://openalex.org/keywords/hilberts-fourteenth-problem","display_name":"Hilbert's fourteenth problem","score":0.5655267238616943},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.5064760446548462},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.48893895745277405},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.4565204977989197},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4458574950695038},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34057945013046265},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.2228434681892395},{"id":"https://openalex.org/keywords/rigged-hilbert-space","display_name":"Rigged Hilbert space","score":0.19604399800300598},{"id":"https://openalex.org/keywords/hilbert-space","display_name":"Hilbert space","score":0.16211897134780884},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09166312217712402}],"concepts":[{"id":"https://openalex.org/C132170107","wikidata":"https://www.wikidata.org/wiki/Q834585","display_name":"Semilattice","level":3,"score":0.9177623987197876},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8469983339309692},{"id":"https://openalex.org/C151492637","wikidata":"https://www.wikidata.org/wiki/Q656645","display_name":"Hilbert's basis theorem","level":5,"score":0.6305169463157654},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.612859845161438},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5871917605400085},{"id":"https://openalex.org/C191326398","wikidata":"https://www.wikidata.org/wiki/Q4515163","display_name":"Hilbert's fourteenth problem","level":5,"score":0.5655267238616943},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.5064760446548462},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.48893895745277405},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.4565204977989197},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4458574950695038},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34057945013046265},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.2228434681892395},{"id":"https://openalex.org/C60064506","wikidata":"https://www.wikidata.org/wiki/Q1262627","display_name":"Rigged Hilbert space","level":4,"score":0.19604399800300598},{"id":"https://openalex.org/C62799726","wikidata":"https://www.wikidata.org/wiki/Q190056","display_name":"Hilbert space","level":2,"score":0.16211897134780884},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09166312217712402},{"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/C188313703","wikidata":"https://www.wikidata.org/wiki/Q1972470","display_name":"Unitary operator","level":3,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.201020098","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201020098","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","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"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.41999998688697815}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321594","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1982832889","https://openalex.org/W2036781278","https://openalex.org/W2044761500","https://openalex.org/W2057022920","https://openalex.org/W2086961867","https://openalex.org/W2146940092","https://openalex.org/W2153704373","https://openalex.org/W2284627727","https://openalex.org/W2325967599","https://openalex.org/W2597801289","https://openalex.org/W2611597622","https://openalex.org/W4205650311","https://openalex.org/W4231153836","https://openalex.org/W6682391813","https://openalex.org/W6695889459","https://openalex.org/W6735318292"],"related_works":["https://openalex.org/W3042827207","https://openalex.org/W755468446","https://openalex.org/W2330170983","https://openalex.org/W433871523","https://openalex.org/W1986395240","https://openalex.org/W4313233180","https://openalex.org/W1874965007","https://openalex.org/W1999512029","https://openalex.org/W2019118526","https://openalex.org/W2015741795"],"abstract_inverted_index":{"Abstract":[0],"Hilbert":[1,33,55,76,98,118,140],"algebras":[2,141],"provide":[3,61],"the":[4,9,16,46,66,69,94,97,101,105,111,117,122,132,144],"equivalent":[5],"algebraic":[6],"semantics":[7],"in":[8,96],"sense":[10],"of":[11,19,48,53,65,68,74,84,100,104,110,116,124,134,146],"Blok":[12],"and":[13,57],"Pigozzi":[14],"to":[15,26,60,92,130],"implication":[17],"fragment":[18],"intuitionistic":[20],"logic.":[21],"They":[22],"are":[23],"closely":[24],"related":[25],"implicative":[27,38,71,113],"semilattices.":[28],"Porta":[29],"proved":[30],"that":[31],"every":[32],"algebra":[34,56,77,99],"has":[35],"a":[36,54,62,75,81,135,147],"free":[37,70,108,112],"semilattice":[39,72,114],"extension.":[40],"In":[41],"this":[42],"paper":[43],"we":[44,128],"introduce":[45,131],"notion":[47],"an":[49],"optimal":[50,87,125],"deductive":[51,88,126],"filter":[52,127],"use":[58],"it":[59],"different":[63],"proof":[64],"existence":[67],"extension":[73,109,115],"as":[78,80],"well":[79],"simplified":[82],"characterization":[83],"it.":[85],"The":[86],"filters":[89,103],"turn":[90],"out":[91],"be":[93],"traces":[95],"prime":[102],"distributive":[106],"lattice":[107],"algebra.":[119],"To":[120],"define":[121],"concept":[123,133,145],"need":[129],"strong":[136],"Frink":[137,148],"ideal":[138,149],"for":[139,150],"which":[142],"generalizes":[143],"posets.":[151]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-07T14:30:12.667765","created_date":"2025-10-10T00:00:00"}