{"id":"W6992480192","doi":"","title":"Lincx: a linear logical framework with first-class contexts","year":2017,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Fonds Québécois de la Recherche sur la Nature et les Technologies; McGill University","keywords":"Decidability; Context (archaeology); Linear logic; Generalization; Joins; Logical framework; Set (abstract data type); Venn diagram","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","research_integrity","insufficient_payload"],"consensus_categories":["metaepi_narrow","research_integrity"],"category_scores_codex":[0.001029285,0.001363656,0.001434898,0.0003682704,0.003336699,0.0007581818,0.004942331,0.002082693,0.0002209803],"category_scores_gemma":[0.002919128,0.001117684,0.0005921071,0.000586482,0.0002089521,0.001495606,0.0005277012,0.003449802,0.001623202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004952071,"about_ca_system_score_gemma":0.0002575728,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001426211,"about_ca_topic_score_gemma":0.003110196,"domain_scores_codex":[0.9934748,0.0003661357,0.0009427624,0.002444274,0.001364124,0.001407938],"domain_scores_gemma":[0.9929944,0.0009185499,0.001261288,0.003076934,0.0009525542,0.0007962365],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003802389,0.00059632,0.0001790635,0.0004656277,0.0003847896,0.0008772762,0.00008995036,0.00003977865,0.0003641947,0.8738065,0.00007139098,0.1227449],"study_design_scores_gemma":[0.004418186,0.002460186,0.009725803,0.005556586,0.0005291801,0.0003222531,0.0001777734,0.001532465,0.01707278,0.2260485,0.7257131,0.006443189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2954192,0.001783323,0.0003044133,0.0002146985,0.007332917,0.002167705,0.0004164704,0.002038512,0.6903228],"genre_scores_gemma":[0.9555725,0.0003672897,0.01364334,0.0004982942,0.0003556829,0.0002597856,0.0002853427,0.0002120177,0.02880569],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7256417,"threshold_uncertainty_score":0.9999114,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01924987338850397,"score_gpt":0.2586196191335533,"score_spread":0.2393697457450493,"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."}}