{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001604418,0.0003096242,0.00027774,0.0007975728,0.0007807271,0.001418791,0.0008869476,0.0005889797,0.001393573],"category_scores_gemma":[0.001679512,0.0001609732,0.001079618,0.0006299579,0.002129475,0.003797738,0.001948611,0.001128819,0.0002986601],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008224996,"about_ca_system_score_gemma":0.0009872044,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001252813,"about_ca_topic_score_gemma":0.001291283,"domain_scores_codex":[0.9991783,0.0002414169,0.00005764238,0.0001724566,0.0002664816,0.00008369252],"domain_scores_gemma":[0.9991918,0.0002457375,0.0001101586,0.0001322718,0.0002212064,0.00009876995],"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.0001082746,0.00007389845,0.0006926563,0.0001608233,0.00002986428,0.0007267323,0.0004266788,0.004414347,0.01333256,0.9444027,0.0007539079,0.03487762],"study_design_scores_gemma":[0.00005362487,0.0002636173,0.00073144,0.00005892416,0.00009184082,0.000933093,0.0002890954,0.05837377,0.01654217,0.8898888,0.03272684,0.0000467222],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1340707,0.0008568872,0.8197967,0.001380224,0.0002123829,0.0001040584,0.0001373557,0.0005183562,0.04292336],"genre_scores_gemma":[0.7551857,0.0008064952,0.2329329,0.0008789616,0.0002569421,0.00009104882,0.0002069535,0.00007647829,0.009564579],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001604418,"threshold_uncertainty_score":0.008485079,"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."}}