{"id":"W2028356475","doi":"10.2178/bsl.1901040","title":"The Horn theory of Boole's partial algebras","year":2013,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"French horn; Algebra over a field; Foundation (evidence); Mathematics; Calculus (dental); Pure mathematics; Physics; Law; Political science","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.001100594,0.0001463289,0.0002671467,0.00004071228,0.0001311895,0.00008908416,0.001172651,0.00008972092,0.0002670753],"category_scores_gemma":[0.0001886572,0.00008563454,0.0001315671,0.0001480513,0.0002762658,0.00004316137,0.0002688121,0.0001093334,0.0006401935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001431938,"about_ca_system_score_gemma":0.00004884321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003007345,"about_ca_topic_score_gemma":0.000002689448,"domain_scores_codex":[0.9983484,0.0002387206,0.0004251735,0.0002648794,0.0003755134,0.0003473696],"domain_scores_gemma":[0.9984075,0.0003220141,0.0002787863,0.0007048214,0.0002106108,0.00007625711],"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.000004950608,0.00005907915,0.0002973538,0.00002099792,0.00002846135,0.0000019103,0.0003839543,0.000003449155,0.0002417074,0.9570192,0.01179496,0.03014402],"study_design_scores_gemma":[0.0005307096,0.000424881,0.006489559,0.000013513,0.00002060438,0.00003259617,0.0004145271,0.0002457884,0.005165983,0.5816594,0.4046859,0.0003164814],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.110205,0.01345425,0.4485761,0.02618306,0.005145507,0.004269592,0.00000443605,0.001030497,0.3911316],"genre_scores_gemma":[0.9967154,0.00005233683,0.000939473,0.0002718788,0.0001261859,0.00005926762,5.280092e-7,0.000008440593,0.001826502],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8865104,"threshold_uncertainty_score":0.8228606,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01634350927987275,"score_gpt":0.2210321596667982,"score_spread":0.2046886503869255,"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."}}