{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002997019,0.000870564,0.001106229,0.00408362,0.003435365,0.005488431,0.001662603,0.003450297,0.01112239],"category_scores_gemma":[0.008442305,0.001019866,0.001698547,0.003305272,0.008214412,0.01744766,0.002916769,0.005648735,0.00238819],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003783602,"about_ca_system_score_gemma":0.001355329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003162048,"about_ca_topic_score_gemma":0.002418218,"domain_scores_codex":[0.997281,0.000733964,0.0002169877,0.00073813,0.0008382212,0.0001917347],"domain_scores_gemma":[0.9980277,0.001084427,0.00007629597,0.0003590671,0.0003864359,0.00006601934],"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.00000603128,0.000005371817,0.0000206807,0.00003286867,0.00000349879,0.00001807386,0.0001588379,0.0001872858,0.0001064964,0.9874092,0.004380641,0.007670884],"study_design_scores_gemma":[0.000004909321,0.000003586184,0.00003323741,0.00002115364,0.000004985025,0.00006173224,0.00002444708,0.0005123318,0.0001403304,0.9618465,0.03733937,0.000007540606],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.007139379,0.01271054,0.5225898,0.01825916,0.001464977,0.0001500112,0.000564406,0.0007617073,0.43636],"genre_scores_gemma":[0.5841439,0.007896658,0.2367643,0.007892822,0.003796607,0.0005117166,0.0008914305,0.0007852055,0.1573174],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01112239,"threshold_uncertainty_score":0.03720808,"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."}}