{"id":"W2057923867","doi":"10.1016/j.tcs.2005.06.030","title":"A representation theorem for Boolean contact algebras","year":2005,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Rough Sets and Fuzzy Logic","field":"Computer Science","cited_by":109,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"","keywords":"Representation theorem; Stone's representation theorem for Boolean algebras; Mathematics; Axiom; Connection (principal bundle); Discrete mathematics; Representation (politics); Transitive relation; Free Boolean algebra; Automated theorem proving; Complete Boolean algebra; Class (philosophy); Boolean algebras canonically defined; Algebra over a field; Pure mathematics; Combinatorics; Computer science; Two-element Boolean algebra; Algorithm; Artificial intelligence; Algebra representation","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001446134,0.0001804643,0.0002173673,0.0001432443,0.0004713589,0.0006203376,0.002358091,0.00005148377,0.00003523594],"category_scores_gemma":[0.0001046354,0.0001371573,0.0001125555,0.0008251704,0.001055991,0.001000104,0.0005877949,0.0001244494,0.00009962799],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006653259,"about_ca_system_score_gemma":0.00009257733,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002241449,"about_ca_topic_score_gemma":7.738911e-7,"domain_scores_codex":[0.9976285,0.00008108995,0.0002979014,0.0008219819,0.0005445874,0.0006259988],"domain_scores_gemma":[0.9981883,0.0003919881,0.00008148521,0.000905727,0.0001803279,0.0002521503],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001029449,0.00004120814,0.00002011598,0.000002279611,0.000002786455,0.000002027979,0.0002974301,0.0001107029,0.0002063814,0.7936134,0.0002144177,0.2054789],"study_design_scores_gemma":[0.00032533,0.0002383707,0.0005905495,0.000009309988,0.000003664732,0.00002279141,0.000005946516,0.6647345,0.002812255,0.3301839,0.0008914961,0.0001818442],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01074695,0.00003102766,0.9755012,0.003694845,0.0004355413,0.0003538742,0.000002027695,0.0002540138,0.008980489],"genre_scores_gemma":[0.6276357,0.000002705557,0.3707357,0.001345111,0.000252506,0.00001420192,0.000001027485,0.000005650134,0.000007440458],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6646238,"threshold_uncertainty_score":0.5981929,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01831742266785005,"score_gpt":0.2810696077821045,"score_spread":0.2627521851142545,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}