{"id":"W3207154427","doi":"10.1007/s10992-021-09637-1","title":"Neighbourhood Semantics for Quantified Relevant Logics","year":2021,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"Grantová Agentura České Republiky","keywords":"Kripke semantics; T-norm fuzzy logics; Computer science; Semantics (computer science); Algebraic semantics; Mathematics; Calculus (dental); Algebra over a field; Description logic; Theoretical computer science; Artificial intelligence; Pure mathematics; Programming language; Intermediate logic; Medicine","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.003673648,0.0006709926,0.001359038,0.003384578,0.002958684,0.006422288,0.002327348,0.00185071,0.006064439],"category_scores_gemma":[0.009092256,0.000872849,0.002370532,0.00257244,0.00414301,0.01621946,0.00475263,0.00372261,0.0007910195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002729087,"about_ca_system_score_gemma":0.001343905,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002125297,"about_ca_topic_score_gemma":0.002470576,"domain_scores_codex":[0.9967463,0.001121124,0.0003599492,0.0005920779,0.0009083633,0.0002721414],"domain_scores_gemma":[0.9948237,0.002831885,0.0003173698,0.0007471651,0.0008323742,0.0004474561],"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.00002573662,0.00001576871,0.00005949682,0.0000432114,0.000009691557,0.00003438066,0.0001658791,0.0008856457,0.0002108257,0.9946897,0.0004356136,0.003424042],"study_design_scores_gemma":[0.00001023753,0.000004931272,0.00002442236,0.00001222038,0.00001079046,0.00002073992,0.00004711881,0.004079884,0.0001581425,0.9936743,0.001949419,0.000007763515],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04620031,0.001614003,0.9040664,0.002520902,0.000331774,0.0001546143,0.000604694,0.0008261789,0.0436811],"genre_scores_gemma":[0.7691687,0.001282524,0.2109341,0.0006809389,0.0004830825,0.0003032328,0.001055688,0.0003425114,0.01574914],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006422288,"threshold_uncertainty_score":0.02028757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05283776686609398,"score_gpt":0.2940385986675461,"score_spread":0.2412008318014521,"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."}}