{"id":"W4233394097","doi":"10.1093/jigpal/jzu019","title":"Connexive Gentzen","year":2014,"lang":"fr","type":"article","venue":"Logic Journal of IGPL","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Propositional calculus; Calculus (dental); Mathematics; Computer science; Natural deduction; Philosophy; Discrete mathematics; Algorithm; 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":[],"consensus_categories":[],"category_scores_codex":[0.0009308305,0.0002014872,0.0004165051,0.0001029593,0.0001304292,0.0001298705,0.001013651,0.0001348769,0.0003414847],"category_scores_gemma":[0.0003870116,0.0001572983,0.0002521889,0.000256132,0.0001932793,0.000725669,0.0001824438,0.0004964807,0.000343205],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006688896,"about_ca_system_score_gemma":0.0001134953,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006099279,"about_ca_topic_score_gemma":0.000002670714,"domain_scores_codex":[0.9980156,0.0003037388,0.0006275092,0.0002198796,0.0003757648,0.000457523],"domain_scores_gemma":[0.9979725,0.0003116365,0.0007315047,0.0003208269,0.0003879971,0.0002755273],"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.00001303302,0.00008889462,0.0000546337,0.00001856102,0.00003566729,0.0002087175,0.0004536715,0.001028051,0.0001594431,0.8932357,0.003113081,0.1015905],"study_design_scores_gemma":[0.00075555,0.001165958,0.00150432,0.0001375419,0.00004156514,0.00170977,0.00009681983,0.005201955,0.0003334368,0.7763198,0.2124994,0.000233901],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001930626,0.01299934,0.8258367,0.01168043,0.005249913,0.00006168275,0.000001437633,0.00001881815,0.142221],"genre_scores_gemma":[0.9111506,0.0008893395,0.07582635,0.004365242,0.002399612,7.474796e-7,4.379007e-7,0.00001460676,0.005353109],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9092199,"threshold_uncertainty_score":0.6414437,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0362188228251722,"score_gpt":0.2687738065826786,"score_spread":0.2325549837575064,"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."}}