{"id":"W1991850485","doi":"10.1016/j.jal.2015.03.001","title":"Reflecting rules: A note on generalizing the deduction theorem","year":2015,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Social Sciences and Humanities Research Council of Canada; Killam Trusts","keywords":"Generalization; Mathematics; Rule of inference; Fundamental theorem; Object (grammar); Automated theorem proving; Compactness theorem; Discrete mathematics; Natural deduction; Calculus (dental); Computer science; Algorithm; Fixed-point theorem; Artificial intelligence; Mathematical analysis","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001609683,0.0001286653,0.0001873922,0.0001015665,0.0001907355,0.000171593,0.000770084,0.00006632662,0.000004637668],"category_scores_gemma":[0.0001306593,0.0000689689,0.00009889009,0.0002598781,0.00004744457,0.0001688505,0.0001092003,0.0003701572,0.0000724507],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00013384,"about_ca_system_score_gemma":0.0001296699,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002749166,"about_ca_topic_score_gemma":0.000001348719,"domain_scores_codex":[0.9988509,0.00008328571,0.0003086897,0.000168082,0.0003579025,0.0002311217],"domain_scores_gemma":[0.9988768,0.0001317975,0.0004286807,0.0002754303,0.0001712148,0.0001160527],"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.00009980481,0.000103838,0.00002951024,0.000006097221,0.0000331874,0.00003266742,0.006865984,0.00326993,0.00455899,0.9304551,0.005285498,0.04925937],"study_design_scores_gemma":[0.001647095,0.001012401,0.0003441942,0.00007348164,0.00005141295,0.000963832,0.001693818,0.01014413,0.01438302,0.9396793,0.02955811,0.0004491539],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1685386,0.0007333896,0.4394941,0.002750116,0.003045061,0.0002515672,3.153016e-7,0.0001367251,0.3850501],"genre_scores_gemma":[0.9670548,0.00002304751,0.03097596,0.0008128444,0.001041731,0.000002763585,1.817666e-7,0.000008017983,0.00008062883],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7985162,"threshold_uncertainty_score":0.281247,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07179899582884149,"score_gpt":0.3140917748543214,"score_spread":0.2422927790254799,"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."}}