{"id":"https://openalex.org/W2028526045","doi":"https://doi.org/10.1007/s00500-007-0261-0","title":"Boolean representation of bounded BCK-algebras","display_name":"Boolean representation of bounded BCK-algebras","publication_year":2007,"publication_date":"2007-10-26","ids":{"openalex":"https://openalex.org/W2028526045","doi":"https://doi.org/10.1007/s00500-007-0261-0","mag":"2028526045"},"language":"en","primary_location":{"id":"doi:10.1007/s00500-007-0261-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-007-0261-0","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"Soft Computing","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/A5055073741","display_name":"Joan Gispert","orcid":"https://orcid.org/0000-0002-8528-369X"},"institutions":[{"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":["ES"],"is_corresponding":true,"raw_author_name":"Joan Gispert","raw_affiliation_strings":["Facultat de Matem\u00e0tiques, Universitat de Barcelona, Gran Via 585, Pati de Ciencies 2a planta, 08007, Barcelona, Spain","Universitat de Barcelona, Facultat de Matem\u00e0tiques, Gran Via 585, Pati de Ciencies 2a planta, 08007, Barcelona, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"Facultat de Matem\u00e0tiques, Universitat de Barcelona, Gran Via 585, Pati de Ciencies 2a planta, 08007, Barcelona, Spain","institution_ids":["https://openalex.org/I71999127"]},{"raw_affiliation_string":"Universitat de Barcelona, Facultat de Matem\u00e0tiques, Gran Via 585, Pati de Ciencies 2a planta, 08007, Barcelona, Spain#TAB#","institution_ids":["https://openalex.org/I71999127"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030859381","display_name":"Antoni Torrens","orcid":"https://orcid.org/0009-0004-6587-0362"},"institutions":[{"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":["ES"],"is_corresponding":false,"raw_author_name":"Antoni Torrens","raw_affiliation_strings":["Facultat de Matem\u00e0tiques, Universitat de Barcelona, Gran Via 585, Pati de Ciencies 2a planta, 08007, Barcelona, Spain","Universitat de Barcelona, Facultat de Matem\u00e0tiques, Gran Via 585, Pati de Ciencies 2a planta, 08007, Barcelona, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"Facultat de Matem\u00e0tiques, Universitat de Barcelona, Gran Via 585, Pati de Ciencies 2a planta, 08007, Barcelona, Spain","institution_ids":["https://openalex.org/I71999127"]},{"raw_affiliation_string":"Universitat de Barcelona, Facultat de Matem\u00e0tiques, Gran Via 585, Pati de Ciencies 2a planta, 08007, Barcelona, Spain#TAB#","institution_ids":["https://openalex.org/I71999127"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5055073741"],"corresponding_institution_ids":["https://openalex.org/I71999127"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.5048,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.82175888,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"12","issue":"10","first_page":"941","last_page":"954"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"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.9998999834060669,"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.9948999881744385,"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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.8486143350601196},{"id":"https://openalex.org/keywords/indecomposable-module","display_name":"Indecomposable module","score":0.8040562272071838},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7035848498344421},{"id":"https://openalex.org/keywords/boolean-algebras-canonically-defined","display_name":"Boolean algebras canonically defined","score":0.5466549396514893},{"id":"https://openalex.org/keywords/stones-representation-theorem-for-boolean-algebras","display_name":"Stone's representation theorem for Boolean algebras","score":0.5424197316169739},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5390533804893494},{"id":"https://openalex.org/keywords/free-boolean-algebra","display_name":"Free Boolean algebra","score":0.5041953325271606},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.49598273634910583},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44670212268829346},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.4315921664237976},{"id":"https://openalex.org/keywords/complete-boolean-algebra","display_name":"Complete Boolean algebra","score":0.41743314266204834},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.35254326462745667},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.34954187273979187},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.25102877616882324}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.8486143350601196},{"id":"https://openalex.org/C157480366","wikidata":"https://www.wikidata.org/wiki/Q2499534","display_name":"Indecomposable module","level":2,"score":0.8040562272071838},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7035848498344421},{"id":"https://openalex.org/C45503250","wikidata":"https://www.wikidata.org/wiki/Q4943350","display_name":"Boolean algebras canonically defined","level":5,"score":0.5466549396514893},{"id":"https://openalex.org/C10021369","wikidata":"https://www.wikidata.org/wiki/Q1166774","display_name":"Stone's representation theorem for Boolean algebras","level":5,"score":0.5424197316169739},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5390533804893494},{"id":"https://openalex.org/C188159880","wikidata":"https://www.wikidata.org/wiki/Q5499761","display_name":"Free Boolean algebra","level":5,"score":0.5041953325271606},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.49598273634910583},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44670212268829346},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.4315921664237976},{"id":"https://openalex.org/C81518389","wikidata":"https://www.wikidata.org/wiki/Q5156447","display_name":"Complete Boolean algebra","level":5,"score":0.41743314266204834},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35254326462745667},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34954187273979187},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.25102877616882324},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00500-007-0261-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-007-0261-0","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"Soft Computing","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":29,"referenced_works":["https://openalex.org/W575480071","https://openalex.org/W586642517","https://openalex.org/W902596717","https://openalex.org/W1497411832","https://openalex.org/W1519478560","https://openalex.org/W1608894631","https://openalex.org/W1966417234","https://openalex.org/W2000364634","https://openalex.org/W2009867803","https://openalex.org/W2011765234","https://openalex.org/W2023648368","https://openalex.org/W2030157699","https://openalex.org/W2035242660","https://openalex.org/W2054035820","https://openalex.org/W2057508004","https://openalex.org/W2062411524","https://openalex.org/W2062755128","https://openalex.org/W2074413908","https://openalex.org/W2082734488","https://openalex.org/W2094409088","https://openalex.org/W2134788346","https://openalex.org/W2149406562","https://openalex.org/W2223139644","https://openalex.org/W2338454682","https://openalex.org/W2339822315","https://openalex.org/W2948751403","https://openalex.org/W4252113473","https://openalex.org/W4293176479","https://openalex.org/W6631133014"],"related_works":["https://openalex.org/W2940617399","https://openalex.org/W2037090414","https://openalex.org/W2369221237","https://openalex.org/W4256012180","https://openalex.org/W2064028328","https://openalex.org/W2377493875","https://openalex.org/W2377302330","https://openalex.org/W2349635818","https://openalex.org/W176883546","https://openalex.org/W4243997191"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
