{"id":"W2874049253","doi":"10.26686/ajl.v15i2.4066","title":"Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics","year":2018,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Relevance (law); Semantics (computer science); Proof-theoretic semantics; Relation (database); Set (abstract data type); Kripke semantics; Presentation (obstetrics); Mathematics; Computer science; Natural language processing; Epistemology; Algebra over a field; Artificial intelligence; Programming language; Operational semantics; Philosophy; Description logic; Pure mathematics; Denotational semantics; Data mining; Intermediate logic","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.001768739,0.000318668,0.0005202245,0.0000567962,0.0005198011,0.0002100984,0.004022482,0.0001309741,0.00004223868],"category_scores_gemma":[0.0003298658,0.0001491853,0.0003683848,0.0005022339,0.0007453039,0.0003769534,0.000342102,0.0006542312,0.00003854642],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001516041,"about_ca_system_score_gemma":0.0001589793,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002854029,"about_ca_topic_score_gemma":0.00003358776,"domain_scores_codex":[0.9972612,0.0003137017,0.00079907,0.0003208556,0.0006706629,0.0006345551],"domain_scores_gemma":[0.9965801,0.0004364358,0.001180381,0.001099745,0.0005566698,0.0001466424],"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.0003161808,0.001672265,0.006764387,0.0001587791,0.0008650737,0.0000306025,0.007709436,0.0002604588,0.04640058,0.65333,0.2683885,0.01410377],"study_design_scores_gemma":[0.008196483,0.007504382,0.01566375,0.001076874,0.001308046,0.001504387,0.002209038,0.005784666,0.1645988,0.4492122,0.3409169,0.002024478],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2662961,0.006979971,0.6115974,0.09151979,0.006626802,0.002266474,0.0001325899,0.0001735116,0.0144073],"genre_scores_gemma":[0.9881735,0.0002827713,0.007349751,0.0007735507,0.0007126719,0.000006642052,0.000001490237,0.00002307743,0.002676479],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7218775,"threshold_uncertainty_score":0.747484,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03799325354492111,"score_gpt":0.27567773915424,"score_spread":0.2376844856093189,"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."}}