{"id":"W2914651966","doi":"10.1016/j.tcs.2005.11.006","title":"Uniqueness logic","year":2005,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Linear logic; Uniqueness; Type theory; Mathematics; Equivalence (formal languages); Computer science; Intuitionistic logic; Programming language; Algebra over a field; Theoretical computer science; Discrete mathematics; Calculus (dental); Type (biology); Pure mathematics","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.001748477,0.0008460629,0.0009533878,0.001762723,0.003393792,0.004839221,0.001608203,0.001648514,0.02390567],"category_scores_gemma":[0.003779208,0.0006958748,0.001433723,0.001490818,0.004545291,0.01090495,0.004131984,0.005585519,0.005633903],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001470629,"about_ca_system_score_gemma":0.001299092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007746997,"about_ca_topic_score_gemma":0.0007673746,"domain_scores_codex":[0.9983979,0.0004227226,0.0001110074,0.0005216235,0.000378528,0.0001682103],"domain_scores_gemma":[0.9983947,0.000571613,0.00009559491,0.0004054549,0.0003971503,0.0001355064],"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.00001033184,0.000005335241,0.00008130093,0.00002260338,0.000004399133,0.00001689776,0.00006295038,0.00006325735,0.0001328024,0.9906954,0.003087343,0.005817474],"study_design_scores_gemma":[0.000007641705,0.000006322413,0.00007955925,0.0000202525,0.00001282626,0.00012028,0.00006660655,0.0006733025,0.0005298367,0.9655313,0.03294452,0.000007664456],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0161945,0.00513385,0.4625274,0.008019629,0.001561578,0.0001259103,0.001360839,0.0009713469,0.5041049],"genre_scores_gemma":[0.5788106,0.005333466,0.1643783,0.006532104,0.002269245,0.0003713678,0.00255946,0.00100332,0.2387421],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02390567,"threshold_uncertainty_score":0.07997239,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01818692945019761,"score_gpt":0.2621283830519768,"score_spread":0.2439414536017792,"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."}}