{"id":"W2915855507","doi":"10.1016/s1874-5075(05)80029-4","title":"A General Theory of Logical Systems","year":2005,"lang":"en","type":"book-chapter","venue":"A practical logic of cognitive systems","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Calculus (dental); Mathematics; Medicine","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001265577,0.0007229066,0.001822277,0.0002875364,0.00009649531,0.0001045746,0.0009145307,0.000877068,0.0001881697],"category_scores_gemma":[0.000827444,0.0005504463,0.0004825495,0.0001386435,0.000693628,0.00059106,0.0004884611,0.0009318981,0.0003009101],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001044718,"about_ca_system_score_gemma":0.0002744008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000126826,"about_ca_topic_score_gemma":0.000001174889,"domain_scores_codex":[0.9950467,0.0005722666,0.001569516,0.001061671,0.001154999,0.0005948235],"domain_scores_gemma":[0.992114,0.003999975,0.001770146,0.0008114182,0.001014447,0.0002900312],"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.0001090707,0.0001573039,0.000005362605,0.0002413637,0.0002467064,0.0002316247,0.00007182637,0.00009899458,0.00005941219,0.9939687,0.0001888301,0.004620827],"study_design_scores_gemma":[0.003039156,0.004201446,0.0001831526,0.00537251,0.000925118,0.002475207,0.0006658321,0.0095575,0.0002409725,0.8889952,0.08107495,0.003268915],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.00004854115,0.004229996,0.4562576,0.0001007825,0.00104225,0.0008571017,0.0001045895,0.0001268045,0.5372323],"genre_scores_gemma":[0.8434432,0.0003700823,0.004660751,0.0002991285,0.001393054,0.00008410088,0.00005509295,0.00008115238,0.1496134],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8433946,"threshold_uncertainty_score":0.9996947,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06022059286607002,"score_gpt":0.3027651878767972,"score_spread":0.2425445950107272,"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."}}