{"id":"https://openalex.org/W2043619670","doi":"https://doi.org/10.1093/logcom/exp014","title":"States on Bold Algebras: Categorical Aspects","display_name":"States on Bold Algebras: Categorical Aspects","publication_year":2009,"publication_date":"2009-03-13","ids":{"openalex":"https://openalex.org/W2043619670","doi":"https://doi.org/10.1093/logcom/exp014","mag":"2043619670"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exp014","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp014","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5032941762","display_name":"Roman Fri\u010d","orcid":"https://orcid.org/0000-0003-2970-248X"},"institutions":[{"id":"https://openalex.org/I207624831","display_name":"Slovak Academy of Sciences","ror":"https://ror.org/03h7qq074","country_code":"SK","type":"government","lineage":["https://openalex.org/I207624831"]},{"id":"https://openalex.org/I4210164481","display_name":"Catholic University in Ruzomberok","ror":"https://ror.org/05ra6d150","country_code":"SK","type":"education","lineage":["https://openalex.org/I4210164481"]}],"countries":["SK"],"is_corresponding":true,"raw_author_name":"R. Fric","raw_affiliation_strings":["Mathematical Institute, Slovak Academy of Sciences, Gre\u0161\u00e1kova 6, 040 01 Ko\u0161ice, Slovak Republic and Catholic University in Ru\u017eomberok, Pedagogical Faculty, Department of Mathematics, N\u00e1m.A. Hlinku 60, 034 01 Ru\u017eomberok, Slovak Republic","Mathematical Institute, Slovak Academy of Sciences, Gre\u0161\u00e1kova 6, 040 01 Ko\u0161ice, Slovak Republic and Catholic University in Ru\u017eomberok, Pedagogical Faculty, Department of Mathematics, N\u00e1m.A. Hlinku 60, 034 01 Ru\u017eomberok, Slovak Republic.E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Institute, Slovak Academy of Sciences, Gre\u0161\u00e1kova 6, 040 01 Ko\u0161ice, Slovak Republic and Catholic University in Ru\u017eomberok, Pedagogical Faculty, Department of Mathematics, N\u00e1m.A. Hlinku 60, 034 01 Ru\u017eomberok, Slovak Republic","institution_ids":["https://openalex.org/I207624831","https://openalex.org/I4210164481"]},{"raw_affiliation_string":"Mathematical Institute, Slovak Academy of Sciences, Gre\u0161\u00e1kova 6, 040 01 Ko\u0161ice, Slovak Republic and Catholic University in Ru\u017eomberok, Pedagogical Faculty, Department of Mathematics, N\u00e1m.A. Hlinku 60, 034 01 Ru\u017eomberok, Slovak Republic.E-mail:","institution_ids":["https://openalex.org/I207624831","https://openalex.org/I4210164481"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5032941762"],"corresponding_institution_ids":["https://openalex.org/I207624831","https://openalex.org/I4210164481"],"apc_list":{"value":4533,"currency":"USD","value_usd":4533},"apc_paid":null,"fwci":0.6466,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.70106762,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"21","issue":"3","first_page":"465","last_page":"477"},"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.9976999759674072,"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.9943000078201294,"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/categorical-variable","display_name":"Categorical variable","score":0.7447377443313599},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.41195040941238403},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36703628301620483},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3634573519229889},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.35483360290527344},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.32261767983436584},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.284486323595047},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1627601981163025},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.10943761467933655}],"concepts":[{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.7447377443313599},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.41195040941238403},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36703628301620483},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3634573519229889},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.35483360290527344},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.32261767983436584},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.284486323595047},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1627601981163025},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.10943761467933655}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exp014","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp014","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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":15,"referenced_works":["https://openalex.org/W197511200","https://openalex.org/W775119443","https://openalex.org/W1564537824","https://openalex.org/W1567507617","https://openalex.org/W1599755535","https://openalex.org/W1987825233","https://openalex.org/W2007881998","https://openalex.org/W2064168801","https://openalex.org/W2080412456","https://openalex.org/W2080850981","https://openalex.org/W2089361151","https://openalex.org/W2569117104","https://openalex.org/W2735093381","https://openalex.org/W2753618605","https://openalex.org/W2761718999"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4386799044","https://openalex.org/W2773208253","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2560646951","https://openalex.org/W4297454206","https://openalex.org/W65104662"],"abstract_inverted_index":{"We":[0,73,201],"study":[1],"bold":[2,7,31,36,66,71,128],"algebras":[3,8,32,37,67],"and":[4,33,57,59,68,84,99,106,109,118,178],"states":[5,34,69,196],"on":[6,35,70],"in":[9,38,63,95,252],"the":[10,28,76,123,169,183,195,198,209,222,234,253],"context":[11],"of":[12,30,65,79,81,116,154,157,159,165,187,211,216],"transition":[13,223],"from":[14,162,224],"classical":[15,98,163,225,258],"probability":[16,20,43,55,101,189,266],"theory":[17,102],"to":[18,25,42,53,141,220,229,239,263],"fuzzy":[19,82,100,110,230,249],"theory.":[21,44],"Our":[22],"aim":[23],"is":[24,191,208,237],"point":[26],"out":[27],"role":[29],"a":[39,92,188,245,257,264],"categorical":[40,179],"approach":[41],"In":[45],"particular,":[46],"we":[47],"formulate":[48],"several":[49],"fundamental":[50],"questions":[51],"related":[52],"basic":[54],"notions":[56],"constructions":[58,180],"provide":[60],"possible":[61],"answers":[62],"terms":[64],"algebras.":[72],"show":[74],"that":[75,203],"category":[77,94],"ID":[78,160],"D-posets":[80],"sets":[83,117],"sequentially":[85,176],"continuous":[86],"difference":[87],"homomorphisms":[88],"can":[89,103],"serve":[90],"as":[91,114,127,135,151,168,182,197],"base":[93],"which":[96],"both":[97],"be":[104],"developed":[105],"generalized.":[107],"Classical":[108],"random":[111,143,227,231,242,250],"events":[112,228],"such":[113,167,181],"fields":[115],"measurable":[119],"real-valued":[120],"functions":[121],"into":[122,148],"interval":[124],"[0,1],":[125,149],"considered":[126,134,150],"algebras,":[129],"become":[130,139,146],"special":[131],"objects.":[132],"Observables,":[133],"morphisms":[136,147],"between":[137],"objects,":[138],"dual":[140],"generalized":[142,241],"variables.":[144],"States":[145],"an":[152],"object":[153],"ID.":[155],"Properties":[156],"objects":[158],"follow":[161],"theorems":[164],"analysis":[166],"Lebesgue":[170],"Dominated":[171],"Convergence":[172],"Theorem":[173],"(states":[174],"are":[175],"continuous)":[177],"product":[184],"(the":[185],"structure":[186],"domain":[190],"completely":[192],"determined":[193],"by":[194],"initial":[199],"structure).":[200],"prove":[202],"each":[204],"generated":[205],"\u0141ukasiewicz":[206],"tribe":[207],"epireflection":[210],"its":[212],"underlying":[213],"Butnariu\u2013Klement":[214],"\u03c3-field":[215],"sets.":[217],"This":[218],"helps":[219],"understand":[221],"crisp":[226],"events.":[232],"Indeed,":[233],"corresponding":[235],"fuzzification":[236],"necessary":[238],"cover":[240],"variables":[243,251],"having":[244],"quantum":[246],"character,":[247],"i.e.":[248],"Gudder\u2013Bugajski":[254],"sense":[255],"sending":[256],"elementary":[259],"event":[260],"(point":[261],"measure)":[262],"non-trivial":[265],"measure.":[267]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}