{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004990866,0.0002019388,0.000459927,0.0001176078,0.00009524864,0.0003004275,0.0005887708,0.0004405889,0.000002842645],"category_scores_gemma":[0.0004682513,0.0001524503,0.0001467952,0.0001750158,0.00003888044,0.0003478247,0.0001751717,0.000807173,0.00001676525],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006014242,"about_ca_system_score_gemma":0.0004465115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003015761,"about_ca_topic_score_gemma":6.05738e-7,"domain_scores_codex":[0.9981424,0.000123468,0.000498049,0.0002472814,0.0008277697,0.0001609841],"domain_scores_gemma":[0.9974819,0.0005678426,0.0008842929,0.00009836545,0.0008090878,0.0001585218],"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.00002397608,0.0000272929,0.000004044716,0.0000319111,0.00003290473,0.00003031159,0.0003351727,0.00005447265,0.000004724925,0.00229758,0.9880328,0.00912482],"study_design_scores_gemma":[0.000697514,0.0007655411,0.00002017041,0.00006057965,0.00004069564,0.00002287718,0.00001800828,0.00217316,0.000003997083,0.02440711,0.9716037,0.0001866468],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.000006628377,0.0006795434,0.2582336,0.0002323068,0.7396867,0.00004234136,0.000001871732,0.00002621727,0.001090839],"genre_scores_gemma":[0.001600556,0.0002377414,0.007191897,0.00005560247,0.9908319,8.16974e-7,0.000009494448,0.000009034168,0.00006296705],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.2511452,"threshold_uncertainty_score":0.6216743,"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."}}