{"id":"W2952780971","doi":"10.48550/arxiv.math/0404286","title":"A language for multiplicative-additive linear logic","year":2004,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Linear logic; Decidability; Modulo; Equivalence (formal languages); Rewriting; Mathematical proof; Concurrency; Multiplicative function; Mathematics; Distributive property; Term (time); Curry–Howard correspondence; Calculus (dental); Semantics (computer science); Algebra over a field; Programming language; Discrete mathematics; Computer science; Natural deduction; Pure mathematics","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.002196158,0.0009035626,0.0008424734,0.002214983,0.002262516,0.00537399,0.002248832,0.001332403,0.01004502],"category_scores_gemma":[0.002807992,0.0009059825,0.002206595,0.002234226,0.003187081,0.007048124,0.003037193,0.00573827,0.003814786],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001800647,"about_ca_system_score_gemma":0.001800394,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001099757,"about_ca_topic_score_gemma":0.001173781,"domain_scores_codex":[0.9981697,0.0004506125,0.000239191,0.0003104466,0.0006226422,0.0002074337],"domain_scores_gemma":[0.9984984,0.0007047951,0.0001397409,0.0002073907,0.0003183087,0.0001313621],"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.000009748284,0.00001778174,0.00004525699,0.00007550522,0.000006887037,0.00009388428,0.0002839178,0.0003835605,0.001680677,0.987894,0.001960282,0.00754851],"study_design_scores_gemma":[0.00001920732,0.00004114294,0.0001044087,0.00006532056,0.00003410856,0.0005863212,0.0001146489,0.007748639,0.002825567,0.8787287,0.1096962,0.00003575106],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005086282,0.001397206,0.9606516,0.002020973,0.0007322375,0.0002008164,0.0006392139,0.001738086,0.02753354],"genre_scores_gemma":[0.2339491,0.002407016,0.7115268,0.002642372,0.001839877,0.001041932,0.001383509,0.001068002,0.04414148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01004502,"threshold_uncertainty_score":0.03360397,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07953589035803799,"score_gpt":0.2220073246671672,"score_spread":0.1424714343091292,"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."}}