{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008791324,0.0002258333,0.0005666886,0.0001199216,0.0001753204,0.000210339,0.001042052,0.0002266785,0.00004557937],"category_scores_gemma":[0.001687427,0.0001609424,0.0004872039,0.00042195,0.00008361194,0.0003282879,0.000266502,0.0005279621,0.00003747734],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006222449,"about_ca_system_score_gemma":0.0003133724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.280288e-7,"about_ca_topic_score_gemma":0.00000161059,"domain_scores_codex":[0.9978,0.0001618564,0.0007710232,0.000359846,0.0004820338,0.0004252577],"domain_scores_gemma":[0.9970498,0.000612061,0.0005375188,0.0004759711,0.001044345,0.000280268],"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.0000365829,0.0003831834,0.0001576401,0.00004575237,0.00006165354,0.0005782114,0.0001175461,0.00007161426,0.002450323,0.9927865,0.0008189951,0.002492053],"study_design_scores_gemma":[0.001094781,0.0007795859,0.0008258637,0.0000624601,0.00005546289,0.00108366,0.00002038899,0.006642762,0.002302132,0.9821731,0.004703044,0.0002567412],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008765736,0.002777135,0.897938,0.07804034,0.002724239,0.0002049334,0.000006985869,0.00009103297,0.009451619],"genre_scores_gemma":[0.9319118,0.0002401223,0.06477574,0.001589476,0.001324666,0.000002629177,0.000002224717,0.00001434088,0.0001390236],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9231461,"threshold_uncertainty_score":0.6563042,"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."}}