{"id":"W4396512806","doi":"10.1080/01445340.2024.2336404","title":"Ruth Barcan Marcus on the Deduction Theorem in Modal Logic","year":2024,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Modal logic; Normal modal logic; Modal; Mathematics; Sequent calculus; Calculus (dental); Philosophy; Geometry; Medicine; Materials 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002459373,0.0003578425,0.0005325716,0.001520205,0.003087921,0.002709881,0.0007432246,0.001469689,0.003361559],"category_scores_gemma":[0.005366449,0.0003987456,0.0005057872,0.001142693,0.01076928,0.006529638,0.002061778,0.003730311,0.001057207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003394379,"about_ca_system_score_gemma":0.001744115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007103541,"about_ca_topic_score_gemma":0.003736792,"domain_scores_codex":[0.9982932,0.0007984204,0.00004915315,0.000263559,0.0004656277,0.0001299913],"domain_scores_gemma":[0.9962225,0.003116338,0.0001154563,0.0001444564,0.0003135113,0.00008776233],"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.0000133012,0.000007166391,0.0000468919,0.00004056956,0.000003071651,0.00004876046,0.0003753095,0.0004445731,0.0001280775,0.9840188,0.007650919,0.007222495],"study_design_scores_gemma":[0.00001251495,0.00001237716,0.0001257687,0.00008603411,0.000006724512,0.00006886714,0.0000833903,0.001561458,0.0004074547,0.9019929,0.09562179,0.00002075865],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.03002113,0.1339671,0.1794116,0.1978939,0.005535369,0.00008636674,0.0002017264,0.0006390905,0.4522437],"genre_scores_gemma":[0.7815281,0.04835889,0.07546692,0.02307878,0.008364756,0.0001964296,0.0001310719,0.0003401222,0.062535],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.007103541,"threshold_uncertainty_score":0.02462804,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04270484688803463,"score_gpt":0.2317749303856146,"score_spread":0.18907008349758,"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."}}