{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01681498,0.001674183,0.002485696,0.002838658,0.002372846,0.008654968,0.009240911,0.005138894,0.009398657],"category_scores_gemma":[0.03149031,0.001489984,0.006795494,0.002784335,0.01111057,0.02641616,0.009110916,0.0128172,0.003474852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002007734,"about_ca_system_score_gemma":0.002093871,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003573997,"about_ca_topic_score_gemma":0.001770084,"domain_scores_codex":[0.9901281,0.003104061,0.001032336,0.002529213,0.002667973,0.0005382911],"domain_scores_gemma":[0.9765369,0.01274108,0.0005065117,0.007602738,0.002250829,0.0003619701],"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.00004441899,0.00003970124,0.0002057756,0.000194113,0.00005507137,0.00015675,0.0004627162,0.001980474,0.0006263225,0.95966,0.004862772,0.03171186],"study_design_scores_gemma":[0.00001998772,0.00001527407,0.00005875069,0.00003865025,0.00003299732,0.00009569413,0.00003906007,0.003544017,0.0007576883,0.9815958,0.01378022,0.00002178349],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003819286,0.002077905,0.9514495,0.004925809,0.001366374,0.0001861439,0.0002411922,0.0007148007,0.03521901],"genre_scores_gemma":[0.1411293,0.006874296,0.8186054,0.007147492,0.004263538,0.0005775831,0.0008309319,0.001119093,0.01945237],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01681498,"threshold_uncertainty_score":0.08892715,"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."}}