{"id":"W4388996076","doi":"10.1007/978-3-031-29415-0_7","title":"Fine’s Semantics for Relevance Logic and Its Relevance","year":2023,"lang":"en","type":"book-chapter","venue":"Outstanding contributions to logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Soundness; Relevance (law); Semantics (computer science); Interpretation (philosophy); Completeness (order theory); Kripke semantics; Computer science; Well-founded semantics; Property (philosophy); Abstract interpretation; Operational semantics; Programming language; Epistemology; Mathematics; Multimodal logic; Description logic; Denotational semantics; Philosophy","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008035239,0.0006246247,0.0008599284,0.0003570538,0.0007211887,0.0003391878,0.001018382,0.0005522651,0.00002330741],"category_scores_gemma":[0.003400718,0.0005657787,0.0002821181,0.0002893989,0.0001027739,0.0002535757,0.0006707964,0.0005053801,0.0006227824],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004801138,"about_ca_system_score_gemma":0.0002015284,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001946627,"about_ca_topic_score_gemma":0.00006350617,"domain_scores_codex":[0.9968074,0.00004139925,0.0006016344,0.001263219,0.0003873165,0.0008990319],"domain_scores_gemma":[0.9960503,0.001542654,0.0003777616,0.0008289176,0.00087052,0.0003298663],"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.00001694868,0.00001562851,0.000006377226,0.0000893775,0.00005621283,0.00005102631,0.0001085241,0.00005016751,0.00007889407,0.9879462,0.0102248,0.001355905],"study_design_scores_gemma":[0.0007587547,0.000397516,0.00002949197,0.0005240855,0.0001048728,0.00004927686,0.000006531423,0.005972166,0.0001143345,0.6674384,0.32368,0.0009245934],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00001394827,0.005490336,0.8940468,0.009333738,0.002319067,0.001954349,0.0011714,0.00115708,0.08451328],"genre_scores_gemma":[0.05468741,0.003111743,0.01592848,0.0009930781,0.001190638,0.0003478155,0.0002311927,0.0001738544,0.9233358],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8781183,"threshold_uncertainty_score":0.9996794,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04438197430523182,"score_gpt":0.3009576135765785,"score_spread":0.2565756392713466,"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."}}