{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002512817,0.001117628,0.001088393,0.00251649,0.002515084,0.008167115,0.002460611,0.002292618,0.01935842],"category_scores_gemma":[0.007602987,0.001317738,0.002692776,0.003743105,0.002537714,0.009080638,0.003113196,0.00478745,0.005888542],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00448347,"about_ca_system_score_gemma":0.002615288,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01439794,"about_ca_topic_score_gemma":0.01664922,"domain_scores_codex":[0.9969126,0.001000771,0.0003037648,0.0004847148,0.0009774929,0.000320697],"domain_scores_gemma":[0.9955819,0.002426473,0.0001747605,0.0007936562,0.0008270789,0.0001960571],"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.0001182409,0.00006335762,0.0001957967,0.0002825547,0.00003873531,0.0001524219,0.0002798724,0.006298222,0.001704294,0.9188025,0.01641272,0.05565134],"study_design_scores_gemma":[0.0000439815,0.0000237147,0.0001390339,0.0001270078,0.00004458685,0.0001090349,0.0000996614,0.03915675,0.002632108,0.9120492,0.0455246,0.0000502992],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005163949,0.001078448,0.9538491,0.001413184,0.0005701364,0.0002480673,0.003865884,0.003340353,0.03047094],"genre_scores_gemma":[0.1105253,0.0009426571,0.8584891,0.0009374113,0.0003296324,0.0005490026,0.007673881,0.001071744,0.01948131],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01935842,"threshold_uncertainty_score":0.06476039,"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."}}