{"id":"https://openalex.org/W2169397798","doi":"https://doi.org/10.1007/s11229-011-9918-4","title":"Bohrification of operator algebras and quantum logic","display_name":"Bohrification of operator algebras and quantum logic","publication_year":2011,"publication_date":"2011-03-28","ids":{"openalex":"https://openalex.org/W2169397798","doi":"https://doi.org/10.1007/s11229-011-9918-4","mag":"2169397798"},"language":"en","primary_location":{"id":"doi:10.1007/s11229-011-9918-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-011-9918-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9918-4.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9918-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Chris Heunen","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Chris Heunen","raw_affiliation_strings":["Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands","Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Nicolaas P. Landsman","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Nicolaas P. Landsman","raw_affiliation_strings":["Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands","Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Mathematics, Astrophysics, and Particle Physics, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":null,"display_name":"Bas Spitters","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bas Spitters","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands","Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525 AJ, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.6313,"has_fulltext":true,"cited_by_count":30,"citation_normalized_percentile":{"value":0.84363104,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"186","issue":"3","first_page":"719","last_page":"752"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.8392999768257141,"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.8392999768257141,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.031599998474121094,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10899","display_name":"Advanced Operator Algebra Research","score":0.030500000342726707,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/heyting-algebra","display_name":"Heyting algebra","score":0.7039999961853027},{"id":"https://openalex.org/keywords/quantum-logic","display_name":"Quantum logic","score":0.6517999768257141},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.5576000213623047},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.519599974155426},{"id":"https://openalex.org/keywords/hilbert-space","display_name":"Hilbert space","score":0.5054000020027161},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.43650001287460327},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.4235000014305115},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4228000044822693},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.42170000076293945},{"id":"https://openalex.org/keywords/operator-algebra","display_name":"Operator algebra","score":0.3880000114440918}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8345999717712402},{"id":"https://openalex.org/C187062830","wikidata":"https://www.wikidata.org/wiki/Q1617044","display_name":"Heyting algebra","level":3,"score":0.7039999961853027},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.6517999768257141},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.5576000213623047},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5199000239372253},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.519599974155426},{"id":"https://openalex.org/C62799726","wikidata":"https://www.wikidata.org/wiki/Q190056","display_name":"Hilbert space","level":2,"score":0.5054000020027161},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.43650001287460327},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43209999799728394},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.4235000014305115},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4228000044822693},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.42170000076293945},{"id":"https://openalex.org/C191413488","wikidata":"https://www.wikidata.org/wiki/Q1892554","display_name":"Operator algebra","level":2,"score":0.3880000114440918},{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.3840000033378601},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.36719998717308044},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.3653999865055084},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.35359999537467957},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.33880001306533813},{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.3384999930858612},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.33309999108314514},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.3206000030040741},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.31279999017715454},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.3082999885082245},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.30390000343322754},{"id":"https://openalex.org/C153408630","wikidata":"https://www.wikidata.org/wiki/Q1970172","display_name":"Von Neumann algebra","level":3,"score":0.29330000281333923},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.29089999198913574},{"id":"https://openalex.org/C81518389","wikidata":"https://www.wikidata.org/wiki/Q5156447","display_name":"Complete Boolean algebra","level":5,"score":0.2858999967575073},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.2858000099658966},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C12362212","wikidata":"https://www.wikidata.org/wiki/Q728435","display_name":"Linear subspace","level":2,"score":0.2727000117301941},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.26739999651908875},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.25440001487731934},{"id":"https://openalex.org/C49766605","wikidata":"https://www.wikidata.org/wiki/Q207643","display_name":"Linear map","level":2,"score":0.2524000108242035}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/s11229-011-9918-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-011-9918-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9918-4.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:0905.2275","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0905.2275","pdf_url":"https://arxiv.org/pdf/0905.2275","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pure.tue.nl:openaire/a63dfc52-6934-410f-a01c-36cd031b1bbe","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/a63dfc52-6934-410f-a01c-36cd031b1bbe","pdf_url":"https://pure.tue.nl/ws/files/3559832/Metis252663.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Heunen, C, Landsman, N P & Spitters, B A W 2012, 'Bohrification of operator algebras and quantum logic', Synthese, vol. 186, no. 3, pp. 719-752. https://doi.org/10.1007/s11229-011-9918-4","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/a63dfc52-6934-410f-a01c-36cd031b1bbe","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/a63dfc52-6934-410f-a01c-36cd031b1bbe","pdf_url":"https://research.tue.nl/nl/publications/a63dfc52-6934-410f-a01c-36cd031b1bbe","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Synthese, 186(3), 719 - 752. Springer","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/790ac0bd-fb3d-4ad3-8f13-dc307f7eb35f","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/790ac0bd-fb3d-4ad3-8f13-dc307f7eb35f","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Heunen, C, Landsman, N P & Spitters, B 2012, 'Bohrification of operator algebras and quantum logic', Synthese, vol. 186, no. 3, pp. 719-752. https://doi.org/10.1007/s11229-011-9918-4","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.ed.ac.uk:publications/790ac0bd-fb3d-4ad3-8f13-dc307f7eb35f","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/790ac0bd-fb3d-4ad3-8f13-dc307f7eb35f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Heunen, C, Landsman, N P & Spitters, B 2012, 'Bohrification of operator algebras and quantum logic', Synthese, vol. 186, no. 3, pp. 719-752. https://doi.org/10.1007/s11229-011-9918-4","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/91606","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/91606","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Synthese, 186, 3, pp. 719-752","raw_type":"Article / Letter to editor"}],"best_oa_location":{"id":"doi:10.1007/s11229-011-9918-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-011-9918-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9918-4.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2169397798.pdf","grobid_xml":"https://content.openalex.org/works/W2169397798.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W823309","https://openalex.org/W36355091","https://openalex.org/W1488848753","https://openalex.org/W1524878283","https://openalex.org/W1563392063","https://openalex.org/W1575413252","https://openalex.org/W1584886925","https://openalex.org/W1589618165","https://openalex.org/W1699512023","https://openalex.org/W1973827495","https://openalex.org/W2004160709","https://openalex.org/W2033899087","https://openalex.org/W2041041938","https://openalex.org/W2041658741","https://openalex.org/W2047299335","https://openalex.org/W2066204520","https://openalex.org/W2066205659","https://openalex.org/W2072782595","https://openalex.org/W2081028867","https://openalex.org/W2081169523","https://openalex.org/W2094301123","https://openalex.org/W2108679268","https://openalex.org/W2114832712","https://openalex.org/W2121289880","https://openalex.org/W2132924484","https://openalex.org/W2318865848","https://openalex.org/W2415162522","https://openalex.org/W2486886792","https://openalex.org/W3101027143","https://openalex.org/W3126996113","https://openalex.org/W4206473031","https://openalex.org/W4210828651","https://openalex.org/W4234178232","https://openalex.org/W4240750369","https://openalex.org/W4244651418","https://openalex.org/W4254718852","https://openalex.org/W4292003697","https://openalex.org/W4299532212","https://openalex.org/W4388321602","https://openalex.org/W6653512668","https://openalex.org/W6688318944"],"related_works":[],"abstract_inverted_index":{"Following":[0],"Birkhoff":[1],"and":[2,48,103,119,234,255],"von":[3,32],"Neumann,":[4],"quantum":[5],"logic":[6,148],"has":[7],"traditionally":[8],"been":[9],"based":[10],"on":[11,25,245,250,258],"the":[12,26,37,64,145,155,158,161,177,189,194,199,212,219,225,246,259],"lattice":[13,27,247],"of":[14,18,28,40,59,66,71,81,90,94,105,123,129,133,157,160,196,198,203,214,221,227,248,263],"closed":[15],"linear":[16],"subspaces":[17],"some":[19],"Hilbert":[20,252],"space,":[21],"or,":[22],"more":[23],"generally,":[24],"projections":[29,73,82,134,249],"in":[30,139,211],"a":[31,56,85,115,136,140,186,207,240,251],"Neumann":[33],"algebra":[34,138,179],"A.":[35,95,130],"Unfortunately,":[36],"logical":[38],"interpretation":[39],"these":[41,60],"lattices":[42],"is":[43,114,149,152,206],"impaired":[44],"by":[45,49,63,84],"their":[46],"nondistributivity":[47],"various":[50],"other":[51],"problems.":[52],"We":[53,223],"show":[54],"that":[55,112,120,144,176],"possible":[57],"resolution":[58],"difficulties,":[61],"suggested":[62],"ideas":[65],"Bohr,":[67],"emerges":[68],"if":[69],"instead":[70],"single":[72],"one":[74],"considers":[75],"elementary":[76],"propositions":[77],"to":[78,98,182,218,230],"be":[79],"families":[80,132],"indexed":[83],"partially":[86],"ordered":[87],"set":[88],"$${\\mathcal{C}(A)}$$":[89,121],"appropriate":[91],"commutative":[92,126,208],"subalgebras":[93],"In":[96],"fact,":[97],"achieve":[99],"both":[100],"maximal":[101],"generality":[102],"ease":[104],"use":[106],"within":[107],"topos":[108,213],"theory,":[109],"we":[110,174,238],"assume":[111],"A":[113,183,267],"so-called":[116],"Rickart":[117,127,209],"C*-algebra":[118,210],"consists":[122],"all":[124],"unital":[125],"C*-subalgebras":[128],"Such":[131],"form":[135],"Heyting":[137,178],"natural":[141],"way,":[142],"so":[143],"associated":[146,181],"propositional":[147],"intuitionistic:":[150],"distributivity":[151],"recovered":[153],"at":[154],"expense":[156],"law":[159],"excluded":[162],"middle.":[163],"Subsequently,":[164],"generalizing":[165],"an":[166],"earlier":[167],"computation":[168],"for":[169,188,266],"n":[170,172],"\u00d7":[171],"matrices,":[173],"prove":[175],"thus":[180],"arises":[184],"as":[185],"basis":[187],"internal":[190,260],"Gelfand":[191,261],"spectrum":[192,262],"(in":[193],"sense":[195],"Banaschewski\u2013Mulvey)":[197],"\u201cBohrification\u201d":[200],"$${\\underline":[201,264],"A}$$":[202,265],"A,":[204],"which":[205],"functors":[215],"from":[216],"$${\\mathcal{C}A}$$":[217],"category":[220],"sets.":[222],"explain":[224],"relationship":[226],"this":[228],"construction":[229],"partial":[231],"Boolean":[232],"algebras":[233],"Bruns\u2013Lakser":[235],"completions.":[236],"Finally,":[237],"establish":[239],"connection":[241],"between":[242],"probability":[243,256],"measures":[244],"space":[253],"H":[254],"valuations":[257],"=":[268],"B(H).":[269]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2016-06-24T00:00:00"}