{"meta":{"query_hash":"ef8370bdb1a3","filters":{"venue":"Journal of Applied Non-Classical Logics"},"cohort_total":6,"direct_labels_cover":0,"predictions_cover":6,"exported":6,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/ef8370bdb1a3","api":"https://metacan.xera.ac/api/v1/cohort?venue=Journal+of+Applied+Non-Classical+Logics"},"results":[{"id":"W2059970836","doi":"10.3166/jancl.12.259-285","title":"Reasoning credulously and skeptically within a single extension","year":2002,"lang":"en","type":"article","venue":"Journal of Applied Non-Classical Logics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Extension (predicate logic); Axiom; Monotonic function; Computer science; Default logic; Consistency (knowledge bases); Mathematical economics; Skepticism; Mathematics; Theoretical computer science; Artificial intelligence; Epistemology; Philosophy; Programming language","score_opus":0.024626511849084255,"score_gpt":0.22140071502953568,"score_spread":0.1967742031804514,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2059970836","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.17397684,0.00026647878,0.8060009,0.0018939936,0.000119559285,0.00012290147,0.00016409924,0.0011026479,0.016352594],"genre_scores_gemma":[0.66276515,0.00017034181,0.3323227,0.00051116257,0.000111211586,0.00013224699,0.00023322075,0.00016207568,0.0035918325],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99369603,0.0017809828,0.00052376254,0.0013480679,0.0021287801,0.0005222602],"domain_scores_gemma":[0.9821988,0.008404143,0.0013210664,0.006127906,0.0014113451,0.0005367573],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.010214693,0.00082027283,0.0010258494,0.0013658577,0.0017075316,0.005003507,0.0025049197,0.0029562032,0.003148265],"category_scores_gemma":[0.014952802,0.0011043194,0.0031956395,0.0009140252,0.0068804566,0.016251018,0.0070404354,0.0052759936,0.00071856816],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0004287072,0.00020420598,0.0032968477,0.000195542,0.00014298942,0.0011499609,0.002099652,0.0114639895,0.012148464,0.90714103,0.0010376138,0.06069108],"study_design_scores_gemma":[0.000057732093,0.000075896736,0.00065358134,0.00007979445,0.00011026378,0.00044754552,0.00032717967,0.04635018,0.015041063,0.931386,0.005408617,0.00006210843],"about_ca_topic_score_codex":0.0006839865,"about_ca_topic_score_gemma":0.00091618055,"teacher_disagreement_score":0.010214693,"about_ca_system_score_codex":0.0017785067,"about_ca_system_score_gemma":0.0017981662,"threshold_uncertainty_score":0.05402106},"labels":[],"label_agreement":null},{"id":"W2069492207","doi":"10.1080/11663081.2014.911519","title":"Penumbral connections in comparative constructions","year":2014,"lang":"en","type":"article","venue":"Journal of Applied Non-Classical Logics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Realisation; Mathematics; Linguistics; Epistemology; Philosophy","score_opus":0.023160714168411842,"score_gpt":0.26007806483877466,"score_spread":0.23691735067036282,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2069492207","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.22218893,0.0014590662,0.51301324,0.001816918,0.0001619179,0.00010342782,0.0002726772,0.00045743203,0.26052633],"genre_scores_gemma":[0.96004003,0.00023897612,0.032911856,0.00015603179,0.000046342084,0.00004931828,0.000119971344,0.000095178046,0.006342394],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99697363,0.0014769575,0.00016648813,0.0006126435,0.00051235704,0.00025791448],"domain_scores_gemma":[0.9975503,0.0013088543,0.00027786652,0.0004214584,0.00034897303,0.00009241047],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0028772713,0.0005196512,0.00031406467,0.001765972,0.0020639757,0.00371025,0.0009817376,0.0012364786,0.008691666],"category_scores_gemma":[0.005113882,0.0004266477,0.0007760774,0.001522826,0.0062425397,0.009834322,0.0037998832,0.00187505,0.00066641264],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000013242219,0.0000030753445,0.00020963409,0.000026312004,0.000003768436,0.00005034962,0.0016058488,0.00019156132,0.00059905666,0.992645,0.00013070487,0.004521479],"study_design_scores_gemma":[0.000012762507,0.000046380486,0.0012993391,0.0000561022,0.000027160033,0.00036122865,0.0019401454,0.0038240107,0.002387758,0.9575252,0.032498285,0.000021609161],"about_ca_topic_score_codex":0.00091171113,"about_ca_topic_score_gemma":0.00089656975,"teacher_disagreement_score":0.008691666,"about_ca_system_score_codex":0.0026393787,"about_ca_system_score_gemma":0.0005197649,"threshold_uncertainty_score":0.029076517},"labels":[],"label_agreement":null},{"id":"W2083540301","doi":"10.3166/jancl.18.213-227","title":"A discrete duality between apartness algebras and apartness frames","year":2008,"lang":"en","type":"article","venue":"Journal of Applied Non-Classical Logics","topic":"Rough Sets and Fuzzy Logic","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Brock University","funders":"","keywords":"Duality (order theory); Constructive; Mathematics; Pure mathematics; Topological space; Algebra over a field; Metric space; Metric (unit); Discrete space; Topology (electrical circuits); Computer science; Combinatorics; Mathematical analysis; Engineering","score_opus":0.03431471386188634,"score_gpt":0.26726156085114877,"score_spread":0.23294684698926243,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2083540301","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.040476695,0.00094087207,0.92457366,0.00091353484,0.00030310598,0.00007948293,0.0001540454,0.00011305791,0.032445434],"genre_scores_gemma":[0.7413053,0.0010973708,0.24423584,0.0008481552,0.00052526896,0.00025808194,0.0003147137,0.00008850584,0.011326733],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9976877,0.0006996674,0.00017017686,0.0005381876,0.00068810704,0.00021607116],"domain_scores_gemma":[0.99764085,0.00092724804,0.0002660588,0.00031379572,0.00053432665,0.00031768726],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0024744926,0.000672028,0.0008038971,0.0016384169,0.0017051728,0.003185232,0.00088502583,0.0010543404,0.0041747796],"category_scores_gemma":[0.0037571643,0.00041077082,0.0013725699,0.0011948284,0.005109352,0.00852764,0.0043003066,0.004016297,0.000556183],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000071448117,0.000009989345,0.000046188812,0.000014918628,0.0000040013374,0.00002925316,0.00012244625,0.00028254843,0.00044294828,0.99679023,0.00011517953,0.0021351664],"study_design_scores_gemma":[0.000010058977,0.00003172322,0.00009287472,0.00001649788,0.00000800622,0.00012843813,0.00010842903,0.003223441,0.0010211272,0.9897578,0.0055889236,0.00001265875],"about_ca_topic_score_codex":0.0005042028,"about_ca_topic_score_gemma":0.000296935,"teacher_disagreement_score":0.0041747796,"about_ca_system_score_codex":0.0009878479,"about_ca_system_score_gemma":0.0008245014,"threshold_uncertainty_score":0.013965964},"labels":[],"label_agreement":null},{"id":"W2495156561","doi":"10.1080/11663081.2016.1179528","title":"A comparison between monoidal and substructural logics","year":2016,"lang":"en","type":"article","venue":"Journal of Applied Non-Classical Logics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"Social Sciences and Humanities Research Council of Canada; University of Exeter","keywords":"Negation; Deontic logic; Mathematics; Monoidal t-norm logic; Axiom; Mathematical proof; T-norm fuzzy logics; Categorical variable; Distributive property; Algebra over a field; Equivalence (formal languages); Proof theory; Computer science; Pure mathematics; Epistemology; Programming language; Artificial intelligence; Fuzzy logic; Philosophy; Fuzzy set","score_opus":0.02604407911317369,"score_gpt":0.27691893802876,"score_spread":0.2508748589155863,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2495156561","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.34673524,0.014393338,0.48668924,0.0046986328,0.00019003474,0.00012624309,0.0003386376,0.000424694,0.14640398],"genre_scores_gemma":[0.93875176,0.001693674,0.053162135,0.000497327,0.00014648492,0.000055828143,0.00012453576,0.000040481307,0.0055278433],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9970323,0.0008426981,0.00019144118,0.00040236916,0.0012542359,0.00027691107],"domain_scores_gemma":[0.99527454,0.0027653,0.00031924224,0.00078595505,0.00054609997,0.00030880643],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0035905985,0.00023722011,0.00038481483,0.0018009963,0.0012710728,0.003947992,0.0011977501,0.00087258744,0.002542228],"category_scores_gemma":[0.004676002,0.00028424762,0.0006108805,0.0012131117,0.0034630897,0.0061283577,0.0025039383,0.0011993375,0.0002474817],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00004327596,0.000017827888,0.00032431167,0.00004905923,0.000009364091,0.00003851816,0.00040081303,0.0005781635,0.0010249702,0.9822994,0.00022530535,0.014989005],"study_design_scores_gemma":[0.00002262381,0.000057897734,0.0013228956,0.00005823886,0.000023073193,0.00017056457,0.00032648162,0.009620119,0.0018826971,0.9756218,0.0108751785,0.000018323486],"about_ca_topic_score_codex":0.0010033605,"about_ca_topic_score_gemma":0.00092544704,"teacher_disagreement_score":0.003947992,"about_ca_system_score_codex":0.0019573513,"about_ca_system_score_gemma":0.0011325291,"threshold_uncertainty_score":0.018989146},"labels":[],"label_agreement":null},{"id":"W2754065268","doi":"10.1080/11663081.2017.1368844","title":"The monadic hybrid calculus","year":2017,"lang":"en","type":"article","venue":"Journal of Applied Non-Classical Logics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Soundness; Computer science; Calculus (dental); Metatheory; Programming language; Natural deduction; Monadic predicate calculus; Algebra over a field; Mathematics; Higher-order logic; Pure mathematics; Description logic","score_opus":0.016660840920077077,"score_gpt":0.25120992480194076,"score_spread":0.23454908388186368,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2754065268","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.011171093,0.0037519657,0.8879468,0.0037096508,0.00062174664,0.00011997383,0.00046745027,0.0013258711,0.090885505],"genre_scores_gemma":[0.4438979,0.003727598,0.5034375,0.0019337593,0.000748111,0.0004648885,0.00047754656,0.000345003,0.044967685],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99815184,0.00053980184,0.00012028852,0.00030543935,0.0006313393,0.00025119146],"domain_scores_gemma":[0.9989222,0.0004975681,0.00007640266,0.000205589,0.00019288505,0.00010528365],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0025904186,0.00059184176,0.00069252425,0.0014341773,0.0024967492,0.0036880122,0.0015382394,0.0011352012,0.0060134716],"category_scores_gemma":[0.0024223952,0.0005721486,0.0012456586,0.0012956318,0.004331276,0.0052204626,0.0030687996,0.0025800574,0.0011174073],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000004868644,0.0000034282903,0.00002216617,0.000019587356,0.0000037951731,0.000029656097,0.0000876888,0.00036178,0.00025074638,0.9958806,0.0007477962,0.0025879475],"study_design_scores_gemma":[0.000017113041,0.000016468033,0.00011873867,0.00004114824,0.000030207306,0.0001870289,0.00008776558,0.007907219,0.0017042155,0.9135879,0.076276526,0.000025799465],"about_ca_topic_score_codex":0.0042758347,"about_ca_topic_score_gemma":0.004429837,"teacher_disagreement_score":0.0060134716,"about_ca_system_score_codex":0.002720437,"about_ca_system_score_gemma":0.0020993664,"threshold_uncertainty_score":0.020117104},"labels":[],"label_agreement":null},{"id":"W2789315418","doi":"10.1080/11663081.2018.1442138","title":"Mixed algebras and their logics","year":2017,"lang":"en","type":"article","venue":"Journal of Applied Non-Classical Logics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Brock University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Algebra over a field; Frame (networking); Algebraic number; Mathematics; Pure mathematics; Computer science; Mathematical analysis","score_opus":0.031034268775185638,"score_gpt":0.24783940736876114,"score_spread":0.2168051385935755,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2789315418","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.2547892,0.003988323,0.5801897,0.0029431924,0.00041737693,0.00021114349,0.0006716003,0.00041016573,0.15637931],"genre_scores_gemma":[0.8868483,0.0010730223,0.08875851,0.00054143963,0.00027524817,0.00025904315,0.00032301267,0.00009942747,0.021822039],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9990061,0.0002835354,0.00007100794,0.00017272966,0.0003263158,0.00014042581],"domain_scores_gemma":[0.9987826,0.00034795795,0.00024995967,0.00014548075,0.00024335412,0.0002306616],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0014425267,0.0006073618,0.0004225683,0.0022599653,0.0018612638,0.0046759243,0.0009891283,0.00095283205,0.0072270897],"category_scores_gemma":[0.0031197607,0.00043619968,0.0007529789,0.0015539393,0.002848682,0.0067926273,0.0023477494,0.001769,0.00067579065],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000008844281,0.000003957947,0.00006516401,0.000010659494,0.000003963749,0.000028703473,0.000063101084,0.00017137479,0.00037779208,0.9980002,0.00015896639,0.0011073962],"study_design_scores_gemma":[0.000011686458,0.000016498883,0.000115639785,0.0000206191,0.0000110623,0.000098371886,0.00016276873,0.005904746,0.0011156296,0.9873875,0.0051443544,0.000011100408],"about_ca_topic_score_codex":0.001040312,"about_ca_topic_score_gemma":0.0009780793,"teacher_disagreement_score":0.0072270897,"about_ca_system_score_codex":0.0013839186,"about_ca_system_score_gemma":0.0007106514,"threshold_uncertainty_score":0.024177015},"labels":[],"label_agreement":null}]}