{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006965788,0.000545755,0.00110099,0.001687788,0.002500962,0.005628645,0.002727031,0.001392612,0.005245613],"category_scores_gemma":[0.01777502,0.001104667,0.003027674,0.001522538,0.006558565,0.008677738,0.00418722,0.006370729,0.0004628241],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003980623,"about_ca_system_score_gemma":0.003180115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00481312,"about_ca_topic_score_gemma":0.004044256,"domain_scores_codex":[0.9940575,0.001284228,0.0004316971,0.001477482,0.001708326,0.001040798],"domain_scores_gemma":[0.9748389,0.02064497,0.001059043,0.001276676,0.001477726,0.0007027974],"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.0003755705,0.0003039132,0.00294123,0.000328063,0.00009970647,0.0009925349,0.001623747,0.01049321,0.005092108,0.9541637,0.002876074,0.02071011],"study_design_scores_gemma":[0.0001057108,0.00006097411,0.0005351074,0.00007163325,0.00009570142,0.0003195019,0.0003245399,0.04547715,0.006263301,0.943016,0.003686968,0.00004356078],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3712112,0.001755089,0.5731353,0.006091976,0.0003599153,0.0003675133,0.0009514106,0.002351936,0.04377572],"genre_scores_gemma":[0.9438529,0.0005229681,0.05025333,0.0007958348,0.0002714823,0.0001205142,0.0005386904,0.0001575782,0.003486655],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006965788,"threshold_uncertainty_score":0.03683907,"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."}}