{"id":"W1981329023","doi":"10.1016/j.apal.2003.11.009","title":"Boolean algebras arising from information systems","year":2004,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"","keywords":"Interior algebra; Mathematics; Stone's representation theorem for Boolean algebras; Modal operator; Complete Boolean algebra; Boolean algebras canonically defined; Free Boolean algebra; Connection (principal bundle); Set (abstract data type); Algebra over a field; Modal; Discrete mathematics; Two-element Boolean algebra; Pure mathematics; Modal logic; Computer science; Subalgebra; Division algebra; 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.0001224988,0.0001185236,0.0001881257,0.00006551918,0.00008636613,0.0001050841,0.000276783,0.00007510297,0.000002580641],"category_scores_gemma":[0.00001027151,0.00009526262,0.00003393001,0.0001658754,0.00004117615,0.0005864451,0.0001022708,0.0000938254,0.00003390357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005205284,"about_ca_system_score_gemma":0.00002034161,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002648295,"about_ca_topic_score_gemma":0.000002065265,"domain_scores_codex":[0.9992076,0.00001067382,0.0002513895,0.00017497,0.0001636222,0.0001917016],"domain_scores_gemma":[0.9994528,0.00003390827,0.0001593529,0.000239744,0.00004599683,0.00006817539],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005067889,0.0000213079,0.00002889981,0.00001777849,0.00001202206,0.000001967751,0.0005256978,0.002455759,0.0009478039,0.9756157,0.0001408944,0.02022712],"study_design_scores_gemma":[0.0005215828,0.0001206361,0.002738882,0.00004808203,0.000007693538,0.000009841121,0.0004552524,0.0004864232,0.008126805,0.9835542,0.003651761,0.0002788369],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2222431,0.001197056,0.7649759,0.00123283,0.0001725543,0.0002491509,0.000008780105,0.000155482,0.009765195],"genre_scores_gemma":[0.9908563,0.00009037932,0.007407361,0.001564178,0.00005477393,0.000007823987,0.000009873979,0.000003053754,0.000006266201],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7686132,"threshold_uncertainty_score":0.3884697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03007391690818214,"score_gpt":0.2580779595995045,"score_spread":0.2280040426913223,"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."}}