{"id":"W613960602","doi":"10.1016/j.tcs.2015.06.019","title":"The decidability of the intensional fragment of classical linear logic","year":2015,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Decidability; Fragment (logic); Substructural logic; Mathematics; Sequent calculus; Linear logic; Sequent; Intermediate logic; Linear temporal logic; Propositional calculus; Natural deduction; Discrete mathematics; Zeroth-order logic; Algorithm; Programming language; Computer science; Description logic; Multimodal logic; Mathematical proof","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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.003697835,0.0001176871,0.0002051417,0.00003562676,0.0002576119,0.00009441851,0.003419081,0.00004945407,0.000003533407],"category_scores_gemma":[0.0006112499,0.00005190236,0.0001093492,0.0007968809,0.006494786,0.0001462354,0.001922041,0.0001801011,0.00001335223],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005164399,"about_ca_system_score_gemma":0.000320991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007543747,"about_ca_topic_score_gemma":0.000001612421,"domain_scores_codex":[0.997471,0.0002655099,0.0004000812,0.0003902715,0.001124542,0.0003485339],"domain_scores_gemma":[0.9973593,0.0005355855,0.0001579865,0.001109622,0.0006522583,0.0001852336],"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.000009389209,0.00007371705,0.0004677442,0.000004268912,0.000003082577,8.922964e-7,0.0002982384,0.00008589367,0.0001094758,0.9904607,0.0000845572,0.008402024],"study_design_scores_gemma":[0.0001766063,0.0003039315,0.002297842,0.000007813906,0.000003660738,0.00001935222,0.00002512287,0.2869233,0.003925188,0.7053609,0.0008656239,0.00009063654],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02793559,0.00005321182,0.9660259,0.002601461,0.001355673,0.0002393572,3.697e-7,0.00003889361,0.001749478],"genre_scores_gemma":[0.9795774,0.000001003169,0.02011574,0.0002064882,0.00007858942,0.000004497041,8.187369e-8,0.000002617911,0.00001354447],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9516419,"threshold_uncertainty_score":0.996209,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03056628056634667,"score_gpt":0.2724491367975593,"score_spread":0.2418828562312126,"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."}}