{"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.27111134,0.00082959764,0.54761684,0.0029685113,0.0012937937,0.0003671655,0.0000013273432,0.00019630419,0.17561516],"genre_scores_gemma":[0.87369996,0.00007644558,0.12504537,0.00053387537,0.00037430486,0.0000021374474,2.5143595e-7,0.000015533496,0.00025210163],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99792194,0.00005189515,0.0006549827,0.00039521794,0.0005490413,0.0004269126],"domain_scores_gemma":[0.9981681,0.00030166275,0.0005056842,0.0003522394,0.00025060264,0.00042172687],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007008799,0.00025900116,0.0005130545,0.00014151278,0.0002019473,0.00029938295,0.0006838325,0.00021243042,0.000031358148],"category_scores_gemma":[0.000317664,0.00018319614,0.00014346502,0.00036465065,0.00020078641,0.00031697206,0.0003076733,0.00064702943,0.000060090842],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"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.00028130086,0.0023484735,0.000400643,0.000084444764,0.00015911258,0.0011588916,0.0068332413,0.00047902204,0.096160494,0.74337775,0.018276688,0.13043995],"study_design_scores_gemma":[0.00916599,0.009068806,0.011201237,0.0007996837,0.00034873548,0.0059509454,0.0008893986,0.72016865,0.022837434,0.18072528,0.035874967,0.002968893],"about_ca_topic_score_codex":6.7279615e-7,"about_ca_topic_score_gemma":0.0000017491674,"teacher_disagreement_score":0.7196896,"about_ca_system_score_codex":0.00008471354,"about_ca_system_score_gemma":0.000055852066,"threshold_uncertainty_score":0.74705213},"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.07319234,0.000028867084,0.67839783,0.0013097364,0.0012484873,0.00018533543,0.0000017739103,0.000055027023,0.24558058],"genre_scores_gemma":[0.9727639,0.000010537006,0.026541067,0.00021742561,0.00036072024,0.000005483842,6.6723976e-7,0.000005453032,0.00009476523],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985459,0.000081121354,0.0005454947,0.00023574046,0.0002845633,0.00030718272],"domain_scores_gemma":[0.99850005,0.0004891927,0.00037857212,0.00024105156,0.00018516467,0.0002059736],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005333317,0.00017190338,0.00048139296,0.00020530698,0.00016331887,0.00012731731,0.000663213,0.00012989593,0.000029900018],"category_scores_gemma":[0.00009812967,0.0001310046,0.00014419452,0.0005259297,0.00021484589,0.0002508329,0.00014130806,0.0006388266,0.00008584158],"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.00003972749,0.0003092955,0.0006551651,0.0000058546602,0.000030585856,0.000017037692,0.0010485939,0.0006703721,0.0015201049,0.9868549,0.003537545,0.0053107953],"study_design_scores_gemma":[0.0108438255,0.0028934032,0.055573266,0.00018479614,0.00013715128,0.001620252,0.0024214468,0.23907359,0.015218728,0.5308347,0.13930932,0.0018895515],"about_ca_topic_score_codex":0.0000022401812,"about_ca_topic_score_gemma":0.000025619804,"teacher_disagreement_score":0.89957154,"about_ca_system_score_codex":0.000100348494,"about_ca_system_score_gemma":0.0001528228,"threshold_uncertainty_score":0.5342213},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5833814,0.00015915687,0.39255965,0.004194126,0.00046672588,0.0002978122,0.000009644973,0.00008881946,0.01884267],"genre_scores_gemma":[0.9597174,0.00012310605,0.038919117,0.00058595877,0.0005928827,0.000005293782,0.0000020114398,0.000013883298,0.000040342933],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99750596,0.0000784878,0.0007995649,0.00040980373,0.00072866183,0.00047749572],"domain_scores_gemma":[0.99799895,0.00043507369,0.0005522677,0.00044163753,0.0001413682,0.00043070724],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00073361216,0.00029842218,0.000774786,0.0001229004,0.0003094955,0.00018167438,0.0010031858,0.0002408413,0.000009856342],"category_scores_gemma":[0.000066832996,0.00020344117,0.00017891853,0.00042093868,0.00043050587,0.00040651872,0.00042673002,0.0007116713,0.000020612657],"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.00074048166,0.0017745553,0.042747468,0.0003204547,0.00083540234,0.0023618368,0.009409991,0.00093236665,0.0033975758,0.7630613,0.02771503,0.14670356],"study_design_scores_gemma":[0.006989529,0.002747804,0.4431333,0.00018736042,0.00029904197,0.0019123091,0.0004956574,0.017155863,0.006417767,0.45428053,0.06356155,0.0028193106],"about_ca_topic_score_codex":0.0000021245562,"about_ca_topic_score_gemma":8.017065e-7,"teacher_disagreement_score":0.4003858,"about_ca_system_score_codex":0.000048235877,"about_ca_system_score_gemma":0.0001412807,"threshold_uncertainty_score":0.829609},"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.3930831,0.00006554645,0.60287327,0.0018352035,0.0002401421,0.00009996768,0.000002596893,0.000040280815,0.0017599331],"genre_scores_gemma":[0.9401126,0.000042133306,0.05910762,0.00024820564,0.0004404816,0.0000017656108,4.3784001e-7,0.00000960784,0.000037143713],"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9980969,0.000038459642,0.0006861719,0.0003163781,0.00045159386,0.00041051727],"domain_scores_gemma":[0.9981868,0.0005110536,0.00057267136,0.00028302753,0.00011883984,0.00032758075],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00034459506,0.00024683969,0.0006235425,0.00011552395,0.00012662476,0.00010940597,0.000852531,0.00018027033,0.000011125371],"category_scores_gemma":[0.000064257045,0.0001330948,0.00012400655,0.00024376943,0.00023219228,0.0003858545,0.00030323863,0.00043686523,0.000021327463],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"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.00027169444,0.00024131249,0.026431324,0.000036429825,0.00014968331,0.00017509976,0.0007107191,0.00031068502,0.04908359,0.42108607,0.0023090907,0.4991943],"study_design_scores_gemma":[0.004725988,0.0020662823,0.18185417,0.00009590361,0.00010894268,0.00031158116,0.00016822087,0.004661377,0.030819818,0.7604984,0.013499086,0.0011902131],"about_ca_topic_score_codex":2.2324465e-7,"about_ca_topic_score_gemma":5.40579e-7,"teacher_disagreement_score":0.5470295,"about_ca_system_score_codex":0.000075391814,"about_ca_system_score_gemma":0.00006399916,"threshold_uncertainty_score":0.5427448},"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":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.03939935,0.000695123,0.44810817,0.011928951,0.0045425445,0.0003987683,0.0000032120756,0.0000991842,0.4948247],"genre_scores_gemma":[0.9928015,0.00020711355,0.00506158,0.00031925028,0.0008616819,0.000004532478,2.3106027e-7,0.000011163102,0.000732974],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9981837,0.00003696364,0.0004966955,0.00025444207,0.0005560949,0.0004720575],"domain_scores_gemma":[0.99731183,0.0003529111,0.0008578952,0.0009405225,0.00021717859,0.00031966783],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0010283926,0.00020603774,0.0003705132,0.000053897955,0.0012253174,0.0009094425,0.003511679,0.00010404027,0.00000817469],"category_scores_gemma":[0.000302576,0.000112424044,0.0002463864,0.00009016497,0.00036748743,0.00031030521,0.00059104874,0.0006582974,0.00012549349],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"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.00012079305,0.00026943904,0.0002209849,0.000012743753,0.00010481091,0.0004392552,0.00033628245,0.00008215707,0.0018227886,0.73842275,0.040717777,0.21745025],"study_design_scores_gemma":[0.003314964,0.0011019009,0.018879764,0.00007570805,0.00010701199,0.00081211457,0.000111574285,0.06576118,0.013339296,0.29948145,0.5960248,0.0009902266],"about_ca_topic_score_codex":0.0000026314883,"about_ca_topic_score_gemma":0.0000066820703,"teacher_disagreement_score":0.9534021,"about_ca_system_score_codex":0.000083976745,"about_ca_system_score_gemma":0.00022428326,"threshold_uncertainty_score":0.94242746},"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.15869214,0.00017610204,0.807273,0.004563418,0.0010516798,0.00020283528,0.0000030047777,0.0000634129,0.02797447],"genre_scores_gemma":[0.94293785,0.0001459879,0.055711873,0.0007202555,0.00039440964,0.0000026789075,4.171104e-7,0.000011604032,0.00007490443],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9984047,0.00003017464,0.0005024344,0.00033482502,0.0003336433,0.0003942664],"domain_scores_gemma":[0.9976859,0.00026674263,0.00087540806,0.000722889,0.00014026556,0.00030879505],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00054720126,0.00026971116,0.00053403317,0.000090800946,0.00050903746,0.00045505923,0.0018526945,0.00018760393,0.000009087781],"category_scores_gemma":[0.00015814348,0.00016740392,0.00015553409,0.00010605236,0.00034496677,0.00054866466,0.00066985696,0.00061612134,0.000022880844],"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.000098630735,0.00024058639,0.0003310107,0.000021380489,0.0000701623,0.00018128552,0.00037694338,0.0001425643,0.010946924,0.82575935,0.0020832499,0.1597479],"study_design_scores_gemma":[0.0018806204,0.00080485106,0.020084545,0.000046102785,0.000031354048,0.00032955664,0.00018365809,0.008822423,0.013699763,0.93191105,0.021590509,0.00061553856],"about_ca_topic_score_codex":4.4301518e-7,"about_ca_topic_score_gemma":0.0000017492556,"teacher_disagreement_score":0.7842457,"about_ca_system_score_codex":0.000042566502,"about_ca_system_score_gemma":0.00008690886,"threshold_uncertainty_score":0.6826534},"labels":[],"label_agreement":null}]}