{"id":"W2295763493","doi":"10.26686/ajl.v13i1.3926","title":"Relevance Logic: Problems Open and Closed","year":2016,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Relevance (law); Fragment (logic); Semilattice; Mathematics; Decision problem; Algebra over a field; Computer science; Discrete mathematics; Algorithm; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00116552,0.0001594329,0.0002804707,0.00005944669,0.0001587927,0.0002686634,0.002515349,0.00006709595,0.00004629392],"category_scores_gemma":[0.0002207842,0.00006625951,0.00008387833,0.000201949,0.0001910085,0.0007971278,0.0004388845,0.0002233151,0.00005922876],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003769416,"about_ca_system_score_gemma":0.00008801689,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002993079,"about_ca_topic_score_gemma":0.000004924402,"domain_scores_codex":[0.9986543,0.0001911508,0.0003863127,0.000220379,0.0002184231,0.000329418],"domain_scores_gemma":[0.9985669,0.0002483887,0.0004576869,0.0004200176,0.000149642,0.0001573854],"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.0001102497,0.0002671783,0.006801646,0.00004372484,0.0001445012,0.0005300071,0.003095627,0.00004334703,0.0125078,0.7462922,0.01283114,0.2173326],"study_design_scores_gemma":[0.002876308,0.002007,0.04028182,0.0004210863,0.00004747336,0.004461204,0.00017813,0.0001300924,0.002446828,0.9213159,0.02536534,0.0004687877],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2838761,0.005181709,0.4588748,0.1402143,0.003001801,0.001768479,0.000007645352,0.0002297115,0.1068455],"genre_scores_gemma":[0.9873546,0.000322493,0.009397529,0.0002972777,0.0001726484,0.000003068935,5.950317e-8,0.000007039002,0.002445328],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7034785,"threshold_uncertainty_score":0.4674186,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04184020616646513,"score_gpt":0.2815974418179703,"score_spread":0.2397572356515052,"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."}}