{"id":"W2694385116","doi":"","title":"A Modal Linear Logic for Distribution and Mobility - extended abstract -","year":2002,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Soundness; Sequent calculus; Modal logic; Completeness (order theory); Calculus (dental); Sequent; Proof calculus; Computer science; Modal; Linear logic; Cut-elimination theorem; Mathematics; Theoretical computer science; Algorithm; Discrete mathematics; Programming language; 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":[],"consensus_categories":[],"category_scores_codex":[0.0001271996,0.0001068636,0.0001058388,0.00002415787,0.0001204126,0.00006985403,0.0003112559,0.00005347783,0.00004889302],"category_scores_gemma":[0.000008601814,0.00008079141,0.00004602032,0.0001481531,0.00002385704,0.0002585852,0.0001099346,0.00007079278,0.00001773981],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000116523,"about_ca_system_score_gemma":0.000006108408,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006012847,"about_ca_topic_score_gemma":0.00004822674,"domain_scores_codex":[0.9991646,0.00001338648,0.0001469194,0.0003456229,0.0001155202,0.0002138936],"domain_scores_gemma":[0.9993986,0.00009728248,0.00004093344,0.0003214499,0.00005844615,0.00008330496],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001039703,0.001962293,0.001434319,0.0005016832,0.0001051656,0.00002398596,0.004284955,0.0006070743,0.004065171,0.6048309,0.002536821,0.3795436],"study_design_scores_gemma":[0.001050234,0.000368964,0.0280447,0.00001666589,0.00001516108,0.00003121923,0.0001214838,0.8874444,0.003941742,0.06212659,0.01643521,0.0004036315],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1745662,0.0002297003,0.8183023,0.003087724,0.0001756093,0.0004090853,0.00003523504,0.0002918929,0.002902198],"genre_scores_gemma":[0.9797479,0.00001178889,0.01919119,0.0008458259,0.00006665299,0.00002495613,0.00001820291,0.000003552271,0.00008991992],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8868373,"threshold_uncertainty_score":0.3294578,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02255306248984056,"score_gpt":0.2524875554693959,"score_spread":0.2299344929795553,"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."}}