{"id":"W2789315418","doi":"10.1080/11663081.2018.1442138","title":"Mixed algebras and their logics","year":2017,"lang":"en","type":"article","venue":"Journal of Applied Non-Classical Logics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Brock University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Algebra over a field; Frame (networking); Algebraic number; Mathematics; Pure mathematics; Computer science; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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.0005472013,0.0002697112,0.0005340332,0.00009080095,0.0005090375,0.0004550592,0.001852695,0.0001876039,0.000009087781],"category_scores_gemma":[0.0001581435,0.0001674039,0.0001555341,0.0001060524,0.0003449668,0.0005486647,0.000669857,0.0006161213,0.00002288084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000425665,"about_ca_system_score_gemma":0.00008690886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.430152e-7,"about_ca_topic_score_gemma":0.000001749256,"domain_scores_codex":[0.9984047,0.00003017464,0.0005024344,0.000334825,0.0003336433,0.0003942664],"domain_scores_gemma":[0.9976859,0.0002667426,0.0008754081,0.000722889,0.0001402656,0.000308795],"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.00009863074,0.0002405864,0.0003310107,0.00002138049,0.0000701623,0.0001812855,0.0003769434,0.0001425643,0.01094692,0.8257594,0.00208325,0.1597479],"study_design_scores_gemma":[0.00188062,0.0008048511,0.02008455,0.00004610278,0.00003135405,0.0003295566,0.0001836581,0.008822423,0.01369976,0.9319111,0.02159051,0.0006155386],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1586921,0.000176102,0.807273,0.004563418,0.00105168,0.0002028353,0.000003004778,0.0000634129,0.02797447],"genre_scores_gemma":[0.9429379,0.0001459879,0.05571187,0.0007202555,0.0003944096,0.000002678908,4.171104e-7,0.00001160403,0.00007490443],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7842457,"threshold_uncertainty_score":0.6826534,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03103426877518564,"score_gpt":0.2478394073687611,"score_spread":0.2168051385935755,"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."}}