{"id":"W7024093039","doi":"","title":"Proof theoretical foundations for constructive Description Logic","year":2008,"lang":"en","type":"other","venue":"Library and Archives Canada (Government of Canada)","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Soundness; Constructive; Natural deduction; Proof calculus; Description logic; Calculus (dental); Sequent calculus; Completeness (order theory); Correctness; Intuitionistic logic","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009776122,0.001388861,0.001011807,0.004386429,0.002601042,0.008281876,0.003504043,0.002398541,0.01349904],"category_scores_gemma":[0.01735394,0.001446616,0.002749776,0.00399791,0.01020866,0.008895777,0.004482529,0.008507039,0.003557296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007833781,"about_ca_system_score_gemma":0.003956948,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004864605,"about_ca_topic_score_gemma":0.002783067,"domain_scores_codex":[0.9924508,0.002546853,0.0006058493,0.0008740118,0.003036418,0.0004860476],"domain_scores_gemma":[0.9812362,0.01317977,0.000650295,0.001916513,0.002635959,0.0003812676],"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.000003109632,0.0000103384,0.00002576345,0.00007489648,0.000006735144,0.00003228322,0.00009544598,0.000816975,0.0001066479,0.9922571,0.001028852,0.005541788],"study_design_scores_gemma":[0.00001264142,0.000005404562,0.00002193253,0.00006058451,0.000006296065,0.00004111628,0.00003084225,0.004027375,0.0002444189,0.9782767,0.01726408,0.000008694728],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.001581651,0.003368141,0.9500501,0.00386843,0.000243406,0.0001935143,0.0004222885,0.0005795165,0.03969289],"genre_scores_gemma":[0.1645105,0.007743081,0.8056669,0.003413234,0.001472719,0.001468569,0.001455233,0.0005567959,0.01371288],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01349904,"threshold_uncertainty_score":0.05683833,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007128007463447498,"score_gpt":0.1680792876044682,"score_spread":0.1609512801410207,"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."}}