{"id":"W2738946037","doi":"","title":"Calculi with dependency relations for Mixed Linear Logic","year":2001,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Linear logic; Sequent calculus; Dependency (UML); Proof theory; Sequent; Mathematics; Structural proof theory; Multiplicative function; Commutative property; Natural deduction; Substructural logic; Fragment (logic); Discrete mathematics; Algorithm; Algebra over a field; Theoretical computer science; Calculus (dental); Computer science; Intermediate logic; Description logic; Pure mathematics; Artificial intelligence; 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.002052268,0.0001852622,0.00018996,0.0001127603,0.0005549191,0.0002291239,0.001203841,0.0001094905,0.00007542255],"category_scores_gemma":[0.0009019817,0.0001575451,0.0001113934,0.0006475486,0.0001209667,0.0003726337,0.0002753781,0.0001831485,0.0001170056],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006242174,"about_ca_system_score_gemma":0.0001800626,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001766012,"about_ca_topic_score_gemma":0.00171568,"domain_scores_codex":[0.9975384,0.001028736,0.0002738282,0.0005381416,0.0002571913,0.0003636913],"domain_scores_gemma":[0.9958246,0.001083162,0.0001916708,0.001276208,0.001453644,0.0001707628],"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.00001013551,0.0003870895,0.005003779,0.00001567264,0.00002909002,0.000008265002,0.003549909,0.00005923844,0.0004122008,0.9523838,0.001128935,0.03701188],"study_design_scores_gemma":[0.005422438,0.00001580321,0.03543207,0.0009586411,0.0001275207,0.0003311409,0.000379903,0.5293019,0.03771459,0.09369282,0.294604,0.002019143],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01364593,0.0003321268,0.8855721,0.006016882,0.0001188731,0.000308208,0.000004893076,0.0002906627,0.09371028],"genre_scores_gemma":[0.7059463,0.0000861208,0.2730262,0.0001167984,0.00002631344,0.00007293923,0.0000506103,0.00001885982,0.0206558],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.858691,"threshold_uncertainty_score":0.6424501,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01680040917571893,"score_gpt":0.2317911994960918,"score_spread":0.2149907903203729,"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."}}