{"id":"W2951476444","doi":"","title":"Semantic Labelled Tableaux for propositional BI (without bottom)","year":2003,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Soundness; Decidability; Computer science; Intuitionistic logic; Semantics (computer science); Theoretical computer science; Linear logic; Completeness (order theory); Intermediate logic; Calculus (dental); Description logic; Mathematics; Discrete mathematics; Programming language","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.003397379,0.00019605,0.0002445521,0.0001275318,0.0004903453,0.0003693508,0.001116442,0.0001031455,0.00005586178],"category_scores_gemma":[0.001580839,0.000183632,0.000125277,0.0004539124,0.0001413551,0.0003324895,0.0002149743,0.0001638223,0.00005906083],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005021432,"about_ca_system_score_gemma":0.000255359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001263664,"about_ca_topic_score_gemma":0.0002269238,"domain_scores_codex":[0.9967284,0.001647317,0.0003327751,0.0005585894,0.0003215533,0.0004113814],"domain_scores_gemma":[0.9960194,0.00123253,0.0001875156,0.001246492,0.001188256,0.0001257628],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000005253885,0.0003091689,0.003578697,0.00004651433,0.00003207683,0.000002824527,0.001625949,0.000009143206,0.004042499,0.9811237,0.001578484,0.007645676],"study_design_scores_gemma":[0.005024069,0.000006281382,0.01122959,0.001121252,0.00009810903,0.000192013,0.0003842781,0.1738616,0.5285553,0.1470541,0.1308175,0.001655881],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03210621,0.0005073824,0.9289138,0.009770871,0.0002335588,0.0004715144,0.000007228429,0.0003372109,0.02765217],"genre_scores_gemma":[0.6304392,0.00005240007,0.3618337,0.0002284481,0.00001088401,0.00007555968,0.00002500891,0.00001647505,0.007318413],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8340696,"threshold_uncertainty_score":0.7488294,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01494817797409894,"score_gpt":0.2343412556868032,"score_spread":0.2193930777127042,"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."}}