{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002302272,0.0007914886,0.001439364,0.003160706,0.002115017,0.007813755,0.001208678,0.002157087,0.008002457],"category_scores_gemma":[0.007435151,0.0007841277,0.001277362,0.004181773,0.004282802,0.01351876,0.002749407,0.004680836,0.001249841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002786871,"about_ca_system_score_gemma":0.001326492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001072382,"about_ca_topic_score_gemma":0.0008833324,"domain_scores_codex":[0.9980197,0.0006242157,0.0001525931,0.0002242351,0.0007981712,0.0001809777],"domain_scores_gemma":[0.9967698,0.00204819,0.0002519864,0.0002573579,0.0004513473,0.0002213966],"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.000003809532,0.000003186038,0.00002073981,0.00001389084,0.00000235935,0.00001492438,0.00004479089,0.0001514277,0.00005398101,0.9981729,0.0003815366,0.001136396],"study_design_scores_gemma":[0.000002421852,0.000001160616,0.000009614926,0.00000342217,0.000002353888,0.00001978211,0.00001138632,0.0009824436,0.00004339103,0.9977822,0.00113984,0.000002144182],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1173307,0.01923583,0.6098264,0.01943042,0.001836459,0.00016814,0.001352558,0.0005925545,0.2302269],"genre_scores_gemma":[0.8947834,0.009400022,0.0520535,0.00219573,0.002595051,0.0002191514,0.0008402397,0.0001495064,0.03776328],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008002457,"threshold_uncertainty_score":0.02677089,"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."}}