{"id":"W2012102524","doi":"10.1016/j.apal.2008.09.013","title":"On lengths of proofs in non-classical logics","year":2008,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":50,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Akademie Věd České Republiky","keywords":"Mathematical proof; Mathematics; Calculus (dental); Discrete mathematics; Algebra over a field; Pure mathematics; Geometry","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.02523203,0.001195229,0.002304612,0.006143659,0.004232652,0.009609416,0.005764653,0.00304957,0.01246022],"category_scores_gemma":[0.1308807,0.002629826,0.00197808,0.005234892,0.009846141,0.0439074,0.00699814,0.009114046,0.001236802],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006934152,"about_ca_system_score_gemma":0.003219859,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001312748,"about_ca_topic_score_gemma":0.002029258,"domain_scores_codex":[0.9856902,0.005519768,0.001293893,0.001905381,0.004161568,0.001429087],"domain_scores_gemma":[0.6131442,0.3394998,0.01735666,0.01287177,0.01005911,0.007068382],"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.0006459662,0.00008829011,0.003695753,0.0002667654,0.00008056129,0.00009533263,0.001242411,0.007515704,0.0006216113,0.9605599,0.001835811,0.02335182],"study_design_scores_gemma":[0.00003215938,0.0000331965,0.0005354412,0.00006398036,0.00005054568,0.00004325381,0.0001317354,0.01009699,0.0003813787,0.9873967,0.001207497,0.00002727219],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3840699,0.01692446,0.5312909,0.01399066,0.0009723459,0.0002124865,0.002017082,0.001262436,0.0492598],"genre_scores_gemma":[0.9063351,0.005045577,0.07211572,0.001022866,0.001776201,0.0003259604,0.001032173,0.0009342864,0.0114121],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02523203,"threshold_uncertainty_score":0.1334413,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05842729758352427,"score_gpt":0.282818869212485,"score_spread":0.2243915716289607,"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."}}