{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006763073,0.001220518,0.002052314,0.003856829,0.005213877,0.004890253,0.00179926,0.003093403,0.004303256],"category_scores_gemma":[0.01046496,0.001199768,0.002855069,0.004203114,0.01399853,0.01456893,0.006166408,0.01098993,0.0005176569],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002564486,"about_ca_system_score_gemma":0.001508323,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001859689,"about_ca_topic_score_gemma":0.001349174,"domain_scores_codex":[0.9975545,0.001078182,0.0001957792,0.0004794557,0.0004086884,0.0002833987],"domain_scores_gemma":[0.9969549,0.001960488,0.0001928541,0.0003550552,0.0003268241,0.0002097991],"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.00001637179,0.000007661523,0.00003432324,0.00001995715,0.000004776806,0.00001413307,0.0001120253,0.0002591488,0.00009061539,0.9972041,0.0002508309,0.001986205],"study_design_scores_gemma":[0.000005158105,0.000006543536,0.00002463518,0.000005149209,0.000004008331,0.00001276744,0.00001621596,0.0009205145,0.00006428534,0.9983095,0.0006247838,0.000006562384],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1232457,0.01311314,0.7579628,0.008109163,0.001875182,0.0001649565,0.0002451353,0.0003796097,0.09490436],"genre_scores_gemma":[0.8492287,0.00326383,0.1310907,0.001420217,0.001526731,0.0002315454,0.0001888669,0.0001521675,0.01289728],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006763073,"threshold_uncertainty_score":0.03576696,"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."}}