{"id":"W2147758190","doi":"10.1016/j.apal.2006.09.001","title":"A categorical semantics for polarized<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" display=\"inline\" overflow=\"scroll\"><mml:mstyle mathvariant=\"sans-serif\"><mml:mi>MALL</mml:mi></mml:mstyle></mml:math>","year":2006,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Linear logic; Multiplicative function; Mathematics; Completeness (order theory); Discrete mathematics; Mathematical analysis","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.002959304,0.000593589,0.0005358472,0.001905851,0.003370213,0.006648333,0.002093914,0.001750287,0.01843592],"category_scores_gemma":[0.00275633,0.0007223623,0.001372952,0.001857589,0.004069494,0.008337702,0.003799334,0.003929178,0.004486644],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002765949,"about_ca_system_score_gemma":0.002098374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004074709,"about_ca_topic_score_gemma":0.004518458,"domain_scores_codex":[0.9979625,0.0006165263,0.0001934676,0.000413061,0.0005074634,0.0003069818],"domain_scores_gemma":[0.9972247,0.0007991121,0.0001556392,0.0004638663,0.0009410756,0.0004156854],"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.00001198117,0.00001165773,0.00006409966,0.0000176481,0.00000210555,0.0000257582,0.0002631093,0.000122056,0.0004108625,0.993316,0.002816192,0.002938606],"study_design_scores_gemma":[0.00002752642,0.00002320646,0.0001959638,0.00003920816,0.0000128832,0.00016293,0.0005419973,0.002633213,0.001336442,0.9008144,0.09418301,0.00002924036],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01602132,0.0007874354,0.8335339,0.006955094,0.001216231,0.0001433281,0.002778219,0.002759708,0.1358047],"genre_scores_gemma":[0.5721635,0.001037707,0.3553521,0.002753714,0.001064925,0.0006043338,0.004184153,0.001686843,0.06115282],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01843592,"threshold_uncertainty_score":0.0616743,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02572994973243501,"score_gpt":0.2535003448029045,"score_spread":0.2277703950704695,"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."}}