{"id":"W4240444301","doi":"10.1093/logcom/exaa064","title":"Editorial","year":2020,"lang":"en","type":"editorial","venue":"Journal of Logic and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Programming language; Computational logic; Computer science; Logic programming; Philosophy of logic; Paraconsistent logic; Type theory; Proof theory; Automated theorem proving; T-norm fuzzy logics; Classical logic; Intuitionistic logic; Mathematical logic; Mathematics; Theoretical computer science; Fuzzy logic; Artificial intelligence; Description logic; Higher-order logic; Propositional calculus; Type (biology); Fuzzy set; Mathematical proof; Fuzzy number","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002586663,0.001310078,0.00125538,0.002191024,0.001929928,0.006754478,0.002029813,0.003857765,0.1914789],"category_scores_gemma":[0.01750155,0.000413341,0.001137489,0.00104944,0.001088908,0.004291371,0.001880871,0.005952002,0.1033477],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00169581,"about_ca_system_score_gemma":0.002711142,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00075078,"about_ca_topic_score_gemma":0.001402701,"domain_scores_codex":[0.9971288,0.0003384729,0.0002410945,0.0006104065,0.001411531,0.0002697488],"domain_scores_gemma":[0.9885659,0.002262684,0.0005294098,0.0007543694,0.005635045,0.00225264],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000182889,0.000006428504,0.00002927648,0.0001023946,0.000003348305,0.00004271622,0.00001574324,0.00001474036,0.00006003513,0.000933771,0.9855961,0.01317724],"study_design_scores_gemma":[0.000005778859,0.000006590129,0.00006746459,0.0001061223,0.000003237269,0.00007937075,0.00002662231,0.00001739384,0.00005394116,0.0006319379,0.9989981,0.000003234812],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.0001529834,0.007280688,0.0004563493,0.04208941,0.9092411,0.00005274442,0.0005476223,0.0002387034,0.03994027],"genre_scores_gemma":[0.003378503,0.01387542,0.0006228701,0.03519809,0.7210947,0.00009910946,0.001231096,0.0004673836,0.2240329],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.1914789,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01385206478299386,"score_gpt":0.2689839455156572,"score_spread":0.2551318807326634,"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."}}