{"id":"W2024618947","doi":"10.1017/s1755020309090145","title":"RELEVANCE LOGICS AND RELATION ALGEBRAS","year":2009,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Soundness; Relevance (law); Relation (database); Mathematics; Completeness (order theory); Semantics (computer science); Fragment (logic); Algebra over a field; Discrete mathematics; Computer science; Pure mathematics; Algorithm; Programming language; Data mining","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.0007045098,0.0001351735,0.0003244416,0.0000283133,0.000103092,0.00002691047,0.0006655969,0.00005152675,0.00001482372],"category_scores_gemma":[0.0003612744,0.00007410804,0.00008055115,0.0003750249,0.00008513744,0.000184053,0.0001134801,0.0001353897,0.00006006842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001702166,"about_ca_system_score_gemma":0.00003134821,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002363036,"about_ca_topic_score_gemma":3.696483e-7,"domain_scores_codex":[0.9989184,0.0001506078,0.0003097773,0.0002460596,0.0001824095,0.0001928071],"domain_scores_gemma":[0.998888,0.0001688613,0.0002185756,0.0005887169,0.00008448905,0.00005141828],"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.000001057528,0.00002794719,0.00009235702,0.0003690478,0.000005298849,0.000002581952,0.00023052,0.000001377876,0.00007900404,0.8635775,0.0007217639,0.1348915],"study_design_scores_gemma":[0.0004623554,0.0005563544,0.05102218,0.003929095,0.00009534344,0.0003096276,0.00001894283,0.002402883,0.0003447619,0.8909509,0.04938417,0.0005234423],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"review","genre_gemma":"empirical","genre_scores_codex":[0.006392378,0.82627,0.04797911,0.01653359,0.0002923371,0.0008841691,0.000001135468,0.0002436016,0.1014037],"genre_scores_gemma":[0.702321,0.2879952,0.004869755,0.004406856,0.00009215696,0.000008331831,0.000001622829,0.000004883814,0.0003001493],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.6959286,"threshold_uncertainty_score":0.3022038,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01816040036287025,"score_gpt":0.2665663432064008,"score_spread":0.2484059428435305,"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."}}