{"id":"https://openalex.org/W1977769350","doi":"https://doi.org/10.1007/bf01061240","title":"On Ockham algebras: Congruence lattices and subdirectly irreducible algebras","display_name":"On Ockham algebras: Congruence lattices and subdirectly irreducible algebras","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W1977769350","doi":"https://doi.org/10.1007/bf01061240","mag":"1977769350"},"language":"en","primary_location":{"id":"doi:10.1007/bf01061240","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01061240","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","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/A5067744349","display_name":"Pere Garc\u00eda","orcid":"https://orcid.org/0000-0002-1682-2143"},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]},{"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"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"P. Garcia","raw_affiliation_strings":["Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial Spanish Scientific Research Council (CSIC), Campus de la Universitat Aut\u00f2noma de Barcelona, 08193, Bellaterra, Barcelona, Spain","Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial Spanish Scientific Research Council (CSIC), Campus de la Universitat Aut\u00f2noma de Barcelona, Bellaterra, Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial Spanish Scientific Research Council (CSIC), Campus de la Universitat Aut\u00f2noma de Barcelona, 08193, Bellaterra, Barcelona, Spain","institution_ids":["https://openalex.org/I123044942","https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial Spanish Scientific Research Council (CSIC), Campus de la Universitat Aut\u00f2noma de Barcelona, Bellaterra, Barcelona, Spain","institution_ids":["https://openalex.org/I123044942"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086317940","display_name":"Francesc Esteva","orcid":"https://orcid.org/0000-0003-4466-3298"},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]},{"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"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"F. Esteva","raw_affiliation_strings":["Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial Spanish Scientific Research Council (CSIC), Campus de la Universitat Aut\u00f2noma de Barcelona, 08193, Bellaterra, Barcelona, Spain","Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial Spanish Scientific Research Council (CSIC), Campus de la Universitat Aut\u00f2noma de Barcelona, Bellaterra, Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial Spanish Scientific Research Council (CSIC), Campus de la Universitat Aut\u00f2noma de Barcelona, 08193, Bellaterra, Barcelona, Spain","institution_ids":["https://openalex.org/I123044942","https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial Spanish Scientific Research Council (CSIC), Campus de la Universitat Aut\u00f2noma de Barcelona, Bellaterra, Barcelona, Spain","institution_ids":["https://openalex.org/I123044942"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.1041802,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"55","issue":"2","first_page":"319","last_page":"346"},"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/T11567","display_name":"semigroups and automata theory","score":0.9796000123023987,"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.9660999774932861,"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.7160082459449768},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.6966205835342407},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5776000618934631},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.5551267266273499},{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.5446622967720032},{"id":"https://openalex.org/keywords/interior-algebra","display_name":"Interior algebra","score":0.5348175168037415},{"id":"https://openalex.org/keywords/nest-algebra","display_name":"Nest algebra","score":0.5066784024238586},{"id":"https://openalex.org/keywords/representation-theorem","display_name":"Representation theorem","score":0.4631110727787018},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.4539196491241455},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4081263244152069},{"id":"https://openalex.org/keywords/non-associative-algebra","display_name":"Non-associative algebra","score":0.3280455470085144},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.23262223601341248},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.18720263242721558}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7160082459449768},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.6966205835342407},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5776000618934631},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.5551267266273499},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.5446622967720032},{"id":"https://openalex.org/C203254541","wikidata":"https://www.wikidata.org/wiki/Q10894825","display_name":"Interior algebra","level":5,"score":0.5348175168037415},{"id":"https://openalex.org/C207264727","wikidata":"https://www.wikidata.org/wiki/Q6997759","display_name":"Nest algebra","level":5,"score":0.5066784024238586},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.4631110727787018},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.4539196491241455},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4081263244152069},{"id":"https://openalex.org/C518143113","wikidata":"https://www.wikidata.org/wiki/Q4391941","display_name":"Non-associative algebra","level":4,"score":0.3280455470085144},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.23262223601341248},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.18720263242721558},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf01061240","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01061240","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1262795510","https://openalex.org/W1500907847","https://openalex.org/W2002177677","https://openalex.org/W2009091545","https://openalex.org/W2020399649","https://openalex.org/W2023648368","https://openalex.org/W2031575844","https://openalex.org/W2059938612","https://openalex.org/W2064576648","https://openalex.org/W2073721756","https://openalex.org/W2082401975","https://openalex.org/W2120848527","https://openalex.org/W2131217615","https://openalex.org/W2132123581","https://openalex.org/W2171271335","https://openalex.org/W2229542852","https://openalex.org/W2331319554","https://openalex.org/W2486863263","https://openalex.org/W3047122219","https://openalex.org/W3127823229","https://openalex.org/W4205529794","https://openalex.org/W4255255331","https://openalex.org/W4293176479"],"related_works":["https://openalex.org/W2129239480","https://openalex.org/W1871060787","https://openalex.org/W4297804032","https://openalex.org/W138371909","https://openalex.org/W4230680797","https://openalex.org/W2389970742","https://openalex.org/W2945617276","https://openalex.org/W947423921","https://openalex.org/W2322840450","https://openalex.org/W4387061410"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}