{"id":"W2156168582","doi":"10.2178/jsl.7801150","title":"On the decidability of implicational ticket entailment","year":2013,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Decidability; Fragment (logic); Combinatory logic; Logical consequence; Mathematics; Discrete mathematics; Computer science; Programming language; Artificial intelligence","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.0008249276,0.00008641207,0.0001947091,0.00005951111,0.00006186524,0.00007306306,0.0008651742,0.00004225054,0.0001383371],"category_scores_gemma":[0.0001412434,0.00004322158,0.0001293701,0.0001693913,0.00006954296,0.0001733548,0.00008940535,0.0001403811,0.00009904015],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005563663,"about_ca_system_score_gemma":0.00008247024,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000302042,"about_ca_topic_score_gemma":8.802956e-7,"domain_scores_codex":[0.9987382,0.0001192109,0.0004633118,0.000117925,0.0004043112,0.0001570736],"domain_scores_gemma":[0.9984766,0.0003024237,0.0004672888,0.0003767356,0.0003004098,0.00007656587],"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.000004364262,0.0002046321,0.004298278,0.00001041433,0.00003392207,0.000002164631,0.0004152613,0.0000214099,0.0008912507,0.9807694,0.003684914,0.009663995],"study_design_scores_gemma":[0.0003230468,0.0005774607,0.1049938,0.000009711879,0.00001062001,0.0001332789,0.0001335147,0.0005721882,0.001800734,0.8884398,0.002896483,0.0001093967],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.791383,0.000391238,0.1802254,0.01344126,0.001006407,0.0008088296,8.902617e-7,0.00003668369,0.01270627],"genre_scores_gemma":[0.9980641,0.000009192578,0.001223982,0.0005136838,0.0001055696,0.00001307867,1.748268e-7,0.000002754614,0.00006744871],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2066811,"threshold_uncertainty_score":0.1762525,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0279169468557467,"score_gpt":0.261768744220187,"score_spread":0.2338517973644403,"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."}}