{"id":"W1625990916","doi":"10.2178/jsl.7803120","title":"Failure of Interpolation in Constant Domain Intuitionistic Logic","year":2013,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Interpolation (computer graphics); Constant (computer programming); Intuitionistic logic; Domain (mathematical analysis); Property (philosophy); Algebra over a field","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.0006066242,0.0001432402,0.0003990106,0.0003257446,0.00004878914,0.0001043886,0.00067446,0.0001051271,0.0001685471],"category_scores_gemma":[0.000207507,0.0001005258,0.0001294168,0.0004322269,0.0001207603,0.0005545863,0.0001250034,0.0002883276,0.00006521142],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009553418,"about_ca_system_score_gemma":0.0001424196,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002880054,"about_ca_topic_score_gemma":0.00001993565,"domain_scores_codex":[0.9984182,0.0001564938,0.0007409488,0.0001626533,0.0002739051,0.0002478614],"domain_scores_gemma":[0.9985071,0.0001672199,0.000636193,0.0002293839,0.0003521459,0.000107909],"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.00001902239,0.000374269,0.008162182,0.00006343134,0.00003865068,0.0001503947,0.003646474,0.00009082509,0.01270823,0.9676051,0.001928063,0.00521336],"study_design_scores_gemma":[0.001236487,0.0007005488,0.02141037,0.0002453886,0.00001503327,0.0008689404,0.0008500075,0.005042868,0.0004969782,0.9684569,0.0004280282,0.0002484398],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4258623,0.0009898352,0.5403551,0.003175459,0.0009169769,0.00039729,0.000002154653,0.00004840591,0.02825249],"genre_scores_gemma":[0.9792448,0.00003964692,0.02035036,0.0002071136,0.0001057426,0.000004252084,6.023758e-7,0.000004997657,0.0000424865],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5533825,"threshold_uncertainty_score":0.4099324,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01299006144829343,"score_gpt":0.2397607336340612,"score_spread":0.2267706721857677,"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."}}