{"id":"W2620811500","doi":"","title":"Labelled Structures and Provability in Resource Logics - extended abstract","year":2005,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Mathematical proof; Linear logic; Context (archaeology); Computer science; Connection (principal bundle); Structural proof theory; Characterization (materials science); Proof complexity; Multiplicative function; Proof theory; Intuitionistic logic; Theoretical computer science; Mathematics; Mill; Algorithm; Calculus (dental)","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.004375937,0.0005385915,0.000484107,0.002784583,0.001809668,0.003797683,0.002089457,0.001590688,0.00786157],"category_scores_gemma":[0.01506111,0.0009590362,0.001613123,0.002550681,0.004696328,0.01004507,0.003948146,0.003343333,0.0008527986],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003206544,"about_ca_system_score_gemma":0.001365598,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002345584,"about_ca_topic_score_gemma":0.002237178,"domain_scores_codex":[0.9954897,0.001837607,0.0002509225,0.0006916475,0.001320281,0.0004098868],"domain_scores_gemma":[0.9841959,0.01154013,0.001240748,0.001367865,0.001246509,0.00040891],"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.00005418312,0.00003387525,0.000208282,0.00008021007,0.00001955733,0.0001481854,0.0003112403,0.006164006,0.001173105,0.9814255,0.0004845232,0.009897234],"study_design_scores_gemma":[0.00001677832,0.00001436398,0.00008668289,0.00002354168,0.00001403757,0.00004347928,0.0000505573,0.01565677,0.001727423,0.97995,0.002402844,0.00001352529],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05729448,0.0003099212,0.9160854,0.001157133,0.00006012958,0.0001453422,0.0002819191,0.0007145182,0.02395101],"genre_scores_gemma":[0.7072632,0.0003344829,0.2828729,0.0005306775,0.0001218337,0.0003572017,0.0005302015,0.0003431537,0.007646338],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00786157,"threshold_uncertainty_score":0.0262996,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0154739291816902,"score_gpt":0.2367320686314486,"score_spread":0.2212581394497584,"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."}}