{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.005010964,0.0003980716,0.0004747797,0.0002124533,0.0002683283,0.0006671813,0.002310662,0.0004130742,0.00007068656],"category_scores_gemma":[0.001697236,0.0003757378,0.0001395024,0.000382985,0.0002940212,0.000225773,0.003138926,0.0009973943,0.00001507818],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001580915,"about_ca_system_score_gemma":0.0002818609,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005412517,"about_ca_topic_score_gemma":0.002165679,"domain_scores_codex":[0.9945,0.002785939,0.0006045504,0.001251146,0.0003980482,0.0004603098],"domain_scores_gemma":[0.9946579,0.00121611,0.0004647525,0.002637324,0.0008199277,0.0002039615],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00002783369,0.001360088,0.005840373,0.0003999542,0.00007281327,0.00002920327,0.03293775,0.0003198303,0.0008551824,0.459332,0.001300092,0.4975249],"study_design_scores_gemma":[0.003243979,0.000003477051,0.5124406,0.002457786,0.00006512638,0.0000644573,0.0003546333,0.1334984,0.02288086,0.2431074,0.07916827,0.002715065],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6121503,0.008607823,0.1028679,0.01890447,0.0005168114,0.001928103,0.00004611415,0.001018702,0.2539598],"genre_scores_gemma":[0.9268223,0.0002811288,0.07038377,0.0001311887,0.00003005417,0.00004679363,0.0000666725,0.00002323971,0.002214825],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5066001,"threshold_uncertainty_score":0.9998695,"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."}}