{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009303541,0.0006788048,0.001636838,0.002129745,0.002887669,0.004604071,0.004080554,0.003000823,0.005055084],"category_scores_gemma":[0.02500141,0.0009928845,0.002116229,0.002015483,0.01261585,0.01566267,0.006802917,0.007232689,0.0007042432],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002980199,"about_ca_system_score_gemma":0.002052698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002836592,"about_ca_topic_score_gemma":0.001376782,"domain_scores_codex":[0.9918441,0.002024279,0.0006610908,0.001214426,0.002919837,0.001336217],"domain_scores_gemma":[0.9720643,0.01856938,0.001262991,0.004553371,0.002627719,0.0009222212],"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.0002545894,0.00004382665,0.001219044,0.0002037646,0.00004722058,0.0004296624,0.0005399236,0.005545036,0.001464926,0.982633,0.001462882,0.006156133],"study_design_scores_gemma":[0.00004527221,0.00004493381,0.0002734618,0.00004692419,0.00003406269,0.0002390803,0.0001728863,0.01668264,0.003238224,0.9759913,0.003186756,0.00004440367],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3780153,0.001698622,0.5048226,0.01024443,0.0005858777,0.0001079459,0.0007226556,0.002571579,0.1012309],"genre_scores_gemma":[0.981639,0.0002950155,0.01537375,0.0004421699,0.0001200968,0.0000279009,0.0001469567,0.00008513154,0.001870009],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009303541,"threshold_uncertainty_score":0.04920238,"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."}}