{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001442527,0.0006073618,0.0004225683,0.002259965,0.001861264,0.004675924,0.0009891283,0.0009528321,0.00722709],"category_scores_gemma":[0.003119761,0.0004361997,0.0007529789,0.001553939,0.002848682,0.006792627,0.002347749,0.001769,0.0006757907],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001383919,"about_ca_system_score_gemma":0.0007106514,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001040312,"about_ca_topic_score_gemma":0.0009780793,"domain_scores_codex":[0.9990061,0.0002835354,0.00007100794,0.0001727297,0.0003263158,0.0001404258],"domain_scores_gemma":[0.9987826,0.0003479579,0.0002499597,0.0001454807,0.0002433541,0.0002306616],"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.000008844281,0.000003957947,0.00006516401,0.00001065949,0.000003963749,0.00002870347,0.00006310108,0.0001713748,0.0003777921,0.9980002,0.0001589664,0.001107396],"study_design_scores_gemma":[0.00001168646,0.00001649888,0.0001156398,0.0000206191,0.0000110623,0.00009837189,0.0001627687,0.005904746,0.00111563,0.9873875,0.005144354,0.00001110041],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2547892,0.003988323,0.5801897,0.002943192,0.0004173769,0.0002111435,0.0006716003,0.0004101657,0.1563793],"genre_scores_gemma":[0.8868483,0.001073022,0.08875851,0.0005414396,0.0002752482,0.0002590432,0.0003230127,0.00009942747,0.02182204],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00722709,"threshold_uncertainty_score":0.02417701,"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."}}