{"id":"W2896430270","doi":"10.1007/s11787-018-0214-7","title":"Pecularities of Some Three- and Four-Valued Second Order Logics","year":2018,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Statement (logic); Order (exchange); Mathematics; Propositional calculus; Many-valued logic; T-norm fuzzy logics; Truth value; Mathematical economics; Discrete mathematics; Computer science; Description logic; Calculus (dental); Artificial intelligence; Epistemology; Philosophy; Programming language; Fuzzy logic","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.003664664,0.0004876974,0.0009341434,0.001781971,0.003027818,0.007587758,0.001390784,0.00178585,0.009070878],"category_scores_gemma":[0.007777367,0.0006339061,0.001490148,0.002219955,0.0065624,0.01156176,0.003074183,0.004302535,0.0005693012],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003785654,"about_ca_system_score_gemma":0.001562789,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001984903,"about_ca_topic_score_gemma":0.001511147,"domain_scores_codex":[0.9980895,0.0005984682,0.0001182122,0.000252412,0.0005806691,0.0003607155],"domain_scores_gemma":[0.9931843,0.004630244,0.0005009998,0.0005545884,0.0005794014,0.0005504442],"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.00001813837,0.000006338204,0.00006675094,0.000006803027,0.000003096302,0.00002036529,0.00008243482,0.0002399286,0.00006631952,0.998421,0.0002273636,0.0008415467],"study_design_scores_gemma":[0.00000988105,0.000002554519,0.00004574405,0.000004584972,0.000003734704,0.00002215749,0.00004208252,0.001801146,0.0000951877,0.9971222,0.000846925,0.000003889071],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.437958,0.00334535,0.2180086,0.01792172,0.0002630907,0.00008856575,0.0008712031,0.000372898,0.3211705],"genre_scores_gemma":[0.9681247,0.0008424558,0.01770429,0.0008591422,0.0001828867,0.00006651031,0.0002967551,0.00004694787,0.01187626],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009070878,"threshold_uncertainty_score":0.03034508,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02407551781598009,"score_gpt":0.2185111476771034,"score_spread":0.1944356298611233,"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."}}