{"id":"W2125727124","doi":"10.70930/tac/ggm9n7b8","title":"The Dialectica interpretation of first-order classical affine logic","year":2006,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Negation; Translation (biology); Mathematics; Interpretation (philosophy); Gödel; Order (exchange); Classical logic; Discrete mathematics; Linguistics; Computer science; Philosophy; Artificial intelligence; Chemistry","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"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.0009406673,0.000364466,0.0003057136,0.001134425,0.00140538,0.002970254,0.0008433958,0.0008788003,0.006669364],"category_scores_gemma":[0.001224263,0.0002399942,0.0009307475,0.001014248,0.003243611,0.003804747,0.001894797,0.002172071,0.0009281217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002039674,"about_ca_system_score_gemma":0.0006830865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001594547,"about_ca_topic_score_gemma":0.0008478384,"domain_scores_codex":[0.9992793,0.0002531809,0.0000379862,0.0001288775,0.000193109,0.0001074977],"domain_scores_gemma":[0.9995772,0.0001227949,0.00003523022,0.00007312685,0.0001434415,0.00004816861],"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.000003350248,0.000002296651,0.00002534302,0.000008680556,0.000001295511,0.00001848474,0.0001272129,0.0001081818,0.0001994461,0.9973701,0.000244494,0.001891216],"study_design_scores_gemma":[0.000006277097,0.0000106238,0.00008599406,0.00001366447,0.000006417283,0.0001118166,0.0001015419,0.001971515,0.001117484,0.974422,0.02214413,0.000008614085],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06174462,0.003967213,0.5706482,0.005944438,0.000975417,0.00008322168,0.0006342881,0.0009284802,0.3550741],"genre_scores_gemma":[0.8930853,0.001060011,0.07472891,0.001284148,0.0002930699,0.00009481914,0.000227148,0.0001632381,0.02906341],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006669364,"threshold_uncertainty_score":0.02231127,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008033329681018912,"score_gpt":0.2376653452158755,"score_spread":0.2296320155348566,"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."}}