{"id":"W2034981868","doi":"10.1007/s11225-014-9564-1","title":"Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different","year":2014,"lang":"en","type":"article","venue":"Studia Logica","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Natural deduction; Normalization (sociology); Mathematics; Sequent calculus; Epistemology; Calculus (dental); Semantics (computer science); Meaning (existential); Linguistics; Philosophy; Algebra over a field; Discrete mathematics; Computer science; Pure mathematics; Programming language; Sociology","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.0002493958,0.0002179688,0.0002778674,0.00004836494,0.000293226,0.000220634,0.0004527221,0.00006771255,0.00002194039],"category_scores_gemma":[0.00003464344,0.0001473254,0.00007759784,0.0001375676,0.00009730302,0.000173712,0.0003820989,0.000150625,0.00004717488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003936553,"about_ca_system_score_gemma":0.0000226487,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003453776,"about_ca_topic_score_gemma":0.0000366641,"domain_scores_codex":[0.9984723,0.00009712432,0.000254486,0.0005203194,0.0002870919,0.0003687232],"domain_scores_gemma":[0.9992344,0.00005903196,0.0001243201,0.0003978215,0.00005403221,0.0001303621],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00002344405,0.0003623178,0.04864333,0.00007614194,0.0002108254,0.00006732275,0.001954783,0.000004848755,0.00191804,0.8704874,0.005075292,0.07117625],"study_design_scores_gemma":[0.003813625,0.002786487,0.4469827,0.00002616148,0.0001362902,0.0005382152,0.001569897,0.003703604,0.001963785,0.1545049,0.3816086,0.002365683],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7133363,0.009542588,0.1821705,0.005471109,0.01092445,0.001979013,0.000005599617,0.001435901,0.07513452],"genre_scores_gemma":[0.997358,0.00008149506,0.001229567,0.0003437691,0.0003215202,0.00003092773,0.00000391712,0.000008085819,0.0006227627],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7159825,"threshold_uncertainty_score":0.6007757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01875987037559582,"score_gpt":0.235310530650576,"score_spread":0.2165506602749802,"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."}}