{"id":"W2792277594","doi":"10.1002/tht3.267","title":"The Cut-Free Approach and the Admissibility-Curry","year":2018,"lang":"en","type":"article","venue":"Thought A Journal of Philosophy","topic":"Classical Philosophy and Thought","field":"Arts and Humanities","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Metatheory; Criticism; Intuitionistic logic; Argument (complex analysis); Epistemology; Computer science; Philosophy; Mathematics; Theoretical computer science; Law; Linear logic","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.01446711,0.0007970861,0.001465143,0.003070749,0.004162665,0.00649321,0.003901308,0.005775146,0.005128865],"category_scores_gemma":[0.02249118,0.001260327,0.002893256,0.001381455,0.02899571,0.01858243,0.006168857,0.01244925,0.00100895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005816953,"about_ca_system_score_gemma":0.003239827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001913962,"about_ca_topic_score_gemma":0.001480778,"domain_scores_codex":[0.9894243,0.003919585,0.0006929631,0.001964841,0.003370141,0.0006280828],"domain_scores_gemma":[0.9816167,0.01109382,0.0009143405,0.003503904,0.002257981,0.0006131828],"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.000004204669,0.000002741453,0.00001592521,0.00001383323,0.000004254816,0.0000160029,0.00008386025,0.00009511788,0.00004418118,0.9985796,0.0003567992,0.0007834685],"study_design_scores_gemma":[0.000004178319,0.000003426777,0.00001495395,0.000009854695,0.000002999276,0.00001758288,0.00001734528,0.0003461572,0.00007590637,0.9976097,0.001894256,0.000003636885],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03097449,0.008326745,0.6898311,0.066911,0.001597416,0.0001709218,0.0003036293,0.000448824,0.2014358],"genre_scores_gemma":[0.8035703,0.002538856,0.152745,0.01323988,0.001921313,0.0005250858,0.0002036019,0.0004304004,0.02482563],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01446711,"threshold_uncertainty_score":0.07651037,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03584329057771598,"score_gpt":0.2437770522242928,"score_spread":0.2079337616465768,"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."}}