{"id":"W19966199","doi":"10.3899/jrheum.090307","title":"Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation","year":2005,"lang":"en","type":"article","venue":"The Journal of Rheumatology","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Negation; Predicate functor logic; Negation as failure; Algebra over a field; Predicate logic; Mathematics; T-norm; Calculus (dental); Algebraic number; Norm (philosophy); Autoepistemic logic; Discrete mathematics; Computer science; Pure mathematics; Multimodal logic; Fuzzy logic; Programming language; Artificial intelligence; Description logic; Epistemology; Fuzzy set; Medicine","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"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.0007962525,0.0001128059,0.0001909216,0.00008840697,0.000244715,0.00004121306,0.001057261,0.00004837108,0.00001352707],"category_scores_gemma":[0.00005091714,0.00004976706,0.00004271384,0.0002029613,0.000136022,0.0005821806,0.00007797808,0.0003508518,0.00001081789],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006031341,"about_ca_system_score_gemma":0.0001109637,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002234778,"about_ca_topic_score_gemma":0.0001301232,"domain_scores_codex":[0.9987767,0.0003286052,0.0003058973,0.0001114667,0.0002521446,0.0002251902],"domain_scores_gemma":[0.9986541,0.0003533856,0.0004887347,0.0003137719,0.0001264764,0.00006355222],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0009850237,0.0004882142,0.05689987,0.00002193843,0.0001998259,0.00007103754,0.0111059,0.1467173,0.001310754,0.6668329,0.0004197369,0.1149475],"study_design_scores_gemma":[0.005888343,0.005454747,0.06747136,0.0002185494,0.0001464974,0.03337895,0.003773195,0.5475771,0.003506893,0.329626,0.002030494,0.0009278105],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5255876,0.0002748794,0.4696972,0.004133088,0.0001171735,0.00006321236,1.59541e-7,0.0000174916,0.000109227],"genre_scores_gemma":[0.982348,0.00007391432,0.01687673,0.0006607661,0.00002003647,0.00000179505,2.102129e-7,0.00000544598,0.0000130565],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4567605,"threshold_uncertainty_score":0.2029442,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01503350596346969,"score_gpt":0.2474321034251316,"score_spread":0.2323985974616619,"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."}}