{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001617795,0.0005254651,0.0003892156,0.001000881,0.001080775,0.002884575,0.001649601,0.0009435096,0.005929456],"category_scores_gemma":[0.002039239,0.0004161185,0.001186475,0.001074327,0.002893682,0.006217402,0.002757631,0.002144787,0.0009076249],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002972486,"about_ca_system_score_gemma":0.001782604,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004218603,"about_ca_topic_score_gemma":0.0036136,"domain_scores_codex":[0.9989348,0.0002431687,0.00009506109,0.0002223145,0.0003331297,0.0001715973],"domain_scores_gemma":[0.9991265,0.0003924988,0.0000949936,0.0001349281,0.0001824831,0.00006856248],"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.0000249385,0.00002431962,0.0001156278,0.00007624778,0.000009757379,0.0001142454,0.000246311,0.003306891,0.00187184,0.9801781,0.001052491,0.01297919],"study_design_scores_gemma":[0.00005167222,0.00004286651,0.0001619661,0.00007650838,0.00007113786,0.0002728918,0.0002132564,0.0677298,0.007844084,0.8881141,0.0353821,0.00003959169],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01009449,0.0003824238,0.9721152,0.0008474212,0.00008490185,0.00007192489,0.0002126758,0.001010931,0.01518012],"genre_scores_gemma":[0.5136361,0.0005485716,0.4709212,0.0008488057,0.000182595,0.0002483932,0.0003732411,0.000173983,0.01306725],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005929456,"threshold_uncertainty_score":0.02156699,"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."}}