{"id":"https://openalex.org/W1978784262","doi":"https://doi.org/10.1007/s00153-005-0286-y","title":"Representation and extension of states on MV-algebras","display_name":"Representation and extension of states on MV-algebras","publication_year":2005,"publication_date":"2005-06-06","ids":{"openalex":"https://openalex.org/W1978784262","doi":"https://doi.org/10.1007/s00153-005-0286-y","mag":"1978784262"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-005-0286-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-005-0286-y","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"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":"Archive for Mathematical Logic","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/A5082680734","display_name":"Tom\u00e1\u0161 Kroupa","orcid":"https://orcid.org/0000-0003-1531-2990"},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"funder","lineage":["https://openalex.org/I202391551"]},{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]},{"id":"https://openalex.org/I4210119419","display_name":"Czech Academy of Sciences, Institute of Information Theory and Automation","ror":"https://ror.org/03h1hsz49","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210119419"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Tom\u00e1\u0160 Kroupa","raw_affiliation_strings":["Faculty of Electrical Engineering, Czech Technical University Technick\u00e1 2, 166 27, Praha 6- Dejvice, Czech Republic","Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic Pod vod\u00e1renskou v\u011b\u017e\u00ed 4, 182 08, Praha 8, Czech Republic","Academy of Sciences of the Czech Republic Pod vod\u00e1renskou v\u011b\u017e\u00ed 4","Czech Technical University Technick\u00e1 2"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Technical University Technick\u00e1 2, 166 27, Praha 6- Dejvice, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic Pod vod\u00e1renskou v\u011b\u017e\u00ed 4, 182 08, Praha 8, Czech Republic","institution_ids":["https://openalex.org/I4210119419"]},{"raw_affiliation_string":"Academy of Sciences of the Czech Republic Pod vod\u00e1renskou v\u011b\u017e\u00ed 4","institution_ids":["https://openalex.org/I202391551"]},{"raw_affiliation_string":"Czech Technical University Technick\u00e1 2","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5082680734"],"corresponding_institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210119419","https://openalex.org/I44504214"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":2.6973,"has_fulltext":false,"cited_by_count":41,"citation_normalized_percentile":{"value":0.89859073,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"45","issue":"4","first_page":"381","last_page":"392"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":1.0,"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":1.0,"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.9990000128746033,"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.9911999702453613,"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.8294075727462769},{"id":"https://openalex.org/keywords/representation-theorem","display_name":"Representation theorem","score":0.6642510890960693},{"id":"https://openalex.org/keywords/\u0142ukasiewicz-logic","display_name":"\u0141ukasiewicz logic","score":0.6556609869003296},{"id":"https://openalex.org/keywords/truth-value","display_name":"Truth value","score":0.6097220778465271},{"id":"https://openalex.org/keywords/stones-representation-theorem-for-boolean-algebras","display_name":"Stone's representation theorem for Boolean algebras","score":0.5517650246620178},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5319761633872986},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5049188733100891},{"id":"https://openalex.org/keywords/interior-algebra","display_name":"Interior algebra","score":0.5029155611991882},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.47118547558784485},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.45180100202560425},{"id":"https://openalex.org/keywords/algebraic-logic","display_name":"Algebraic logic","score":0.44858598709106445},{"id":"https://openalex.org/keywords/free-boolean-algebra","display_name":"Free Boolean algebra","score":0.4454725384712219},{"id":"https://openalex.org/keywords/boolean-algebras-canonically-defined","display_name":"Boolean algebras canonically defined","score":0.4157121479511261},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4084562659263611},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39651286602020264},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.27223652601242065},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.19525203108787537},{"id":"https://openalex.org/keywords/non-associative-algebra","display_name":"Non-associative algebra","score":0.14080539345741272},{"id":"https://openalex.org/keywords/substructural-logic","display_name":"Substructural logic","score":0.13311704993247986},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.09073609113693237},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.07226881384849548}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8294075727462769},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.6642510890960693},{"id":"https://openalex.org/C206321295","wikidata":"https://www.wikidata.org/wiki/Q8080919","display_name":"\u0141ukasiewicz logic","level":5,"score":0.6556609869003296},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.6097220778465271},{"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.5517650246620178},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5319761633872986},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5049188733100891},{"id":"https://openalex.org/C203254541","wikidata":"https://www.wikidata.org/wiki/Q10894825","display_name":"Interior algebra","level":5,"score":0.5029155611991882},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.47118547558784485},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.45180100202560425},{"id":"https://openalex.org/C86523455","wikidata":"https://www.wikidata.org/wiki/Q1005222","display_name":"Algebraic logic","level":3,"score":0.44858598709106445},{"id":"https://openalex.org/C188159880","wikidata":"https://www.wikidata.org/wiki/Q5499761","display_name":"Free Boolean algebra","level":5,"score":0.4454725384712219},{"id":"https://openalex.org/C45503250","wikidata":"https://www.wikidata.org/wiki/Q4943350","display_name":"Boolean algebras canonically defined","level":5,"score":0.4157121479511261},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4084562659263611},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39651286602020264},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.27223652601242065},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.19525203108787537},{"id":"https://openalex.org/C518143113","wikidata":"https://www.wikidata.org/wiki/Q4391941","display_name":"Non-associative algebra","level":4,"score":0.14080539345741272},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.13311704993247986},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.09073609113693237},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.07226881384849548},{"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00153-005-0286-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-005-0286-y","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"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":"Archive for Mathematical Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W51644285","https://openalex.org/W176421311","https://openalex.org/W197511200","https://openalex.org/W206941856","https://openalex.org/W635510250","https://openalex.org/W1566552629","https://openalex.org/W1585620996","https://openalex.org/W1982225856","https://openalex.org/W1985104705","https://openalex.org/W1989551546","https://openalex.org/W1989632075","https://openalex.org/W2002685565","https://openalex.org/W2047723833","https://openalex.org/W2053205169","https://openalex.org/W2063792150","https://openalex.org/W2082925816","https://openalex.org/W2146018538","https://openalex.org/W2330601951","https://openalex.org/W2907045986","https://openalex.org/W3100361384","https://openalex.org/W4248857920","https://openalex.org/W4251902060"],"related_works":["https://openalex.org/W2785885914","https://openalex.org/W2064128553","https://openalex.org/W2951697398","https://openalex.org/W2043720628","https://openalex.org/W4224056974","https://openalex.org/W4300806540","https://openalex.org/W570095099","https://openalex.org/W4287121698","https://openalex.org/W3210547786","https://openalex.org/W1978784262"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}