{"id":"W1548870362","doi":"10.3217/jucs-008-07-0722","title":"Heyting Algebras and Formal Languages","year":2002,"lang":"en","type":"article","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Exponentiation; Computer science; Formal language; Heyting algebra; Context (archaeology); Programming language; Abstract family of languages; Ontology language; Algebra over a field; Second-generation programming language; Mathematics; Artificial intelligence; Pure mathematics; Fifth-generation 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.002347832,0.0005964067,0.0005091143,0.001439511,0.001313758,0.003517764,0.0006993785,0.0009009131,0.006874763],"category_scores_gemma":[0.003873354,0.0002902311,0.0007017162,0.001717244,0.004510188,0.008971767,0.002019282,0.002620053,0.001040195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001716262,"about_ca_system_score_gemma":0.0009957388,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001153001,"about_ca_topic_score_gemma":0.0005413616,"domain_scores_codex":[0.9981603,0.0005085699,0.0001965249,0.0003494263,0.0005112336,0.000273964],"domain_scores_gemma":[0.9978638,0.0008534379,0.0002727746,0.0002635982,0.0005121264,0.0002343094],"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.00001965242,0.0000113286,0.0001056742,0.00002865304,0.000005811306,0.00005545893,0.0002086183,0.0005289781,0.0005213235,0.9944659,0.0005186899,0.00352983],"study_design_scores_gemma":[0.00001300974,0.00001413879,0.0001103658,0.00001749968,0.000005351473,0.0001110254,0.00007442397,0.002252844,0.0007481526,0.9887202,0.007921937,0.00001106184],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2621628,0.01238863,0.5730023,0.006699896,0.001107418,0.000223677,0.001075454,0.001023311,0.1423164],"genre_scores_gemma":[0.9278801,0.002494766,0.0459917,0.0008249056,0.0008434789,0.0001219972,0.0005016511,0.0001253355,0.02121605],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006874763,"threshold_uncertainty_score":0.02299839,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02899820904950145,"score_gpt":0.2356698928271214,"score_spread":0.20667168377762,"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."}}