{"id":"W2080616779","doi":"10.1016/s0165-0114(02)00565-1","title":"Strong amalgamation, Beck–Chevalley for equivalence relations and interpolation in algebraic logic","year":2002,"lang":"en","type":"article","venue":"Fuzzy Sets and Systems","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Mathematics; Distributive property; Heyting algebra; Pure mathematics; Lemma (botany); Algebra over a field; Algebraic number; Equivalence (formal languages); Mathematical analysis","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002519754,0.0001093861,0.0001562264,0.0001073793,0.000138739,0.000148689,0.0001508386,0.00006532959,0.000006365964],"category_scores_gemma":[0.00006450701,0.00009394194,0.0000216482,0.0001633809,0.00003306962,0.0005711372,0.00006418445,0.00007599902,0.000009830189],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002659988,"about_ca_system_score_gemma":0.000007367756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001842732,"about_ca_topic_score_gemma":0.0000191354,"domain_scores_codex":[0.9990495,0.00006074039,0.0002786785,0.0003012519,0.0001125889,0.0001972176],"domain_scores_gemma":[0.9994387,0.0001582552,0.0001056542,0.0001850953,0.00004928336,0.00006301039],"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.00000596549,0.00005222745,0.01300932,0.000152398,0.00001444956,0.000005097718,0.003858316,0.001121229,0.0002950013,0.9607602,0.0007525256,0.01997325],"study_design_scores_gemma":[0.0006211799,0.0001950969,0.0191535,0.0001227746,0.000006180252,0.00003270724,0.0003504275,0.9382216,0.00000447283,0.04026651,0.0007978361,0.0002277412],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.23177,0.005826443,0.7553942,0.001212224,0.0005583195,0.001048516,0.00001357644,0.0001503823,0.004026318],"genre_scores_gemma":[0.9943658,0.00006322313,0.005071384,0.0000569198,0.0000424405,0.0000526709,0.000005563536,0.000005530816,0.0003364329],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9371004,"threshold_uncertainty_score":0.3830841,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04926712963027886,"score_gpt":0.2718107001317634,"score_spread":0.2225435705014846,"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."}}