{"id":"W2027759179","doi":"10.1016/j.fss.2014.09.014","title":"Discrete dualities for n -potent MTL-algebras and 2-potent BL-algebras","year":2014,"lang":"en","type":"article","venue":"Fuzzy Sets and Systems","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"Natural Sciences and Engineering Research Council of Canada; Narodowe Centrum Nauki; Bulgarian National Science Fund","keywords":"Mathematics; Algebra over a field; Embedding; Duality (order theory); Pure mathematics; Lattice (music); Mathematical proof; Frame (networking); Computer science; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005475945,0.0002658601,0.0004082355,0.00008518184,0.0003475024,0.0004357203,0.0003357613,0.0001016887,0.000001397949],"category_scores_gemma":[0.00006579905,0.0001967532,0.00007455208,0.0001084263,0.0001024334,0.0004022307,0.0002217138,0.0001024897,0.00001146255],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002227624,"about_ca_system_score_gemma":0.00002252116,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005576042,"about_ca_topic_score_gemma":0.00001089072,"domain_scores_codex":[0.9981571,0.0001309264,0.0003818237,0.0005964075,0.0002677022,0.0004659853],"domain_scores_gemma":[0.9988277,0.000238669,0.0001516907,0.0004712461,0.00007876208,0.0002319381],"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.00001524647,0.00002543505,0.0008470434,0.0003090817,0.00004259674,0.00000769407,0.001334485,0.0001129202,0.0001497368,0.9693636,0.001452202,0.0263399],"study_design_scores_gemma":[0.004997549,0.002367785,0.02365813,0.0006701702,0.0001252439,0.0006416389,0.002969178,0.2090262,0.000549635,0.5586759,0.1935123,0.002806221],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3125495,0.007175794,0.6666828,0.002798409,0.002997104,0.001648008,0.00007506446,0.0004738292,0.005599493],"genre_scores_gemma":[0.9946334,0.00009231435,0.003561758,0.0003508962,0.0002834162,0.00009357199,0.00001216604,0.00001933292,0.0009531516],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6820838,"threshold_uncertainty_score":0.8023365,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02018932975635026,"score_gpt":0.2486468473021848,"score_spread":0.2284575175458345,"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."}}