{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":6,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":6,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"query_hash":"ef8370bdb1a3","filters":{"venue":"Journal of Applied Non-Classical Logics"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03431471386188634,"gpt":0.2672615608511488,"spread":0.2329468469892624,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007336122,0.0002984222,0.000774786,0.0001229004,0.0003094955,0.0001816744,0.001003186,0.0002408413,0.000009856342],"category_scores_gemma":[0.000066833,0.0002034412,0.0001789185,0.0004209387,0.0004305059,0.0004065187,0.00042673,0.0007116713,0.00002061266],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004823588,"about_ca_system_score_gemma":0.0001412807,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002124556,"about_ca_topic_score_gemma":8.017065e-7,"domain_scores_codex":[0.997506,0.0000784878,0.0007995649,0.0004098037,0.0007286618,0.0004774957],"domain_scores_gemma":[0.997999,0.0004350737,0.0005522677,0.0004416375,0.0001413682,0.0004307072],"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.0007404817,0.001774555,0.04274747,0.0003204547,0.0008354023,0.002361837,0.009409991,0.0009323666,0.003397576,0.7630613,0.02771503,0.1467036],"study_design_scores_gemma":[0.006989529,0.002747804,0.4431333,0.0001873604,0.000299042,0.001912309,0.0004956574,0.01715586,0.006417767,0.4542805,0.06356155,0.002819311],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5833814,0.0001591569,0.3925596,0.004194126,0.0004667259,0.0002978122,0.000009644973,0.00008881946,0.01884267],"genre_scores_gemma":[0.9597174,0.000123106,0.03891912,0.0005859588,0.0005928827,0.000005293782,0.00000201144,0.0000138833,0.00004034293],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4003858,"threshold_uncertainty_score":0.829609,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03103426877518564,"gpt":0.2478394073687611,"spread":0.2168051385935755,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005472013,0.0002697112,0.0005340332,0.00009080095,0.0005090375,0.0004550592,0.001852695,0.0001876039,0.000009087781],"category_scores_gemma":[0.0001581435,0.0001674039,0.0001555341,0.0001060524,0.0003449668,0.0005486647,0.000669857,0.0006161213,0.00002288084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000425665,"about_ca_system_score_gemma":0.00008690886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.430152e-7,"about_ca_topic_score_gemma":0.000001749256,"domain_scores_codex":[0.9984047,0.00003017464,0.0005024344,0.000334825,0.0003336433,0.0003942664],"domain_scores_gemma":[0.9976859,0.0002667426,0.0008754081,0.000722889,0.0001402656,0.000308795],"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.00009863074,0.0002405864,0.0003310107,0.00002138049,0.0000701623,0.0001812855,0.0003769434,0.0001425643,0.01094692,0.8257594,0.00208325,0.1597479],"study_design_scores_gemma":[0.00188062,0.0008048511,0.02008455,0.00004610278,0.00003135405,0.0003295566,0.0001836581,0.008822423,0.01369976,0.9319111,0.02159051,0.0006155386],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1586921,0.000176102,0.807273,0.004563418,0.00105168,0.0002028353,0.000003004778,0.0000634129,0.02797447],"genre_scores_gemma":[0.9429379,0.0001459879,0.05571187,0.0007202555,0.0003944096,0.000002678908,4.171104e-7,0.00001160403,0.00007490443],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7842457,"threshold_uncertainty_score":0.6826534,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Montréal","funders":"","keywords":"Realisation; Mathematics; Linguistics; Epistemology; Philosophy","retraction":null,"screen_n_in":null,"score":{"opus":0.02316071416841184,"gpt":0.2600780648387747,"spread":0.2369173506703628,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005333317,0.0001719034,0.000481393,0.000205307,0.0001633189,0.0001273173,0.000663213,0.0001298959,0.00002990002],"category_scores_gemma":[0.00009812967,0.0001310046,0.0001441945,0.0005259297,0.0002148459,0.0002508329,0.0001413081,0.0006388266,0.00008584158],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001003485,"about_ca_system_score_gemma":0.0001528228,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002240181,"about_ca_topic_score_gemma":0.0000256198,"domain_scores_codex":[0.9985459,0.00008112135,0.0005454947,0.0002357405,0.0002845633,0.0003071827],"domain_scores_gemma":[0.9985,0.0004891927,0.0003785721,0.0002410516,0.0001851647,0.0002059736],"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.00003972749,0.0003092955,0.0006551651,0.00000585466,0.00003058586,0.00001703769,0.001048594,0.0006703721,0.001520105,0.9868549,0.003537545,0.005310795],"study_design_scores_gemma":[0.01084383,0.002893403,0.05557327,0.0001847961,0.0001371513,0.001620252,0.002421447,0.2390736,0.01521873,0.5308347,0.1393093,0.001889552],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07319234,0.00002886708,0.6783978,0.001309736,0.001248487,0.0001853354,0.00000177391,0.00005502702,0.2455806],"genre_scores_gemma":[0.9727639,0.00001053701,0.02654107,0.0002174256,0.0003607202,0.000005483842,6.672398e-7,0.000005453032,0.00009476523],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8995715,"threshold_uncertainty_score":0.5342213,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02462651184908425,"gpt":0.2214007150295357,"spread":0.1967742031804514,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007008799,0.0002590012,0.0005130545,0.0001415128,0.0002019473,0.000299383,0.0006838325,0.0002124304,0.00003135815],"category_scores_gemma":[0.000317664,0.0001831961,0.000143465,0.0003646507,0.0002007864,0.0003169721,0.0003076733,0.0006470294,0.00006009084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008471354,"about_ca_system_score_gemma":0.00005585207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.727961e-7,"about_ca_topic_score_gemma":0.000001749167,"domain_scores_codex":[0.9979219,0.00005189515,0.0006549827,0.0003952179,0.0005490413,0.0004269126],"domain_scores_gemma":[0.9981681,0.0003016627,0.0005056842,0.0003522394,0.0002506026,0.0004217269],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002813009,0.002348474,0.000400643,0.00008444476,0.0001591126,0.001158892,0.006833241,0.000479022,0.09616049,0.7433777,0.01827669,0.13044],"study_design_scores_gemma":[0.00916599,0.009068806,0.01120124,0.0007996837,0.0003487355,0.005950945,0.0008893986,0.7201687,0.02283743,0.1807253,0.03587497,0.002968893],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2711113,0.0008295976,0.5476168,0.002968511,0.001293794,0.0003671655,0.000001327343,0.0001963042,0.1756152],"genre_scores_gemma":[0.8737,0.00007644558,0.1250454,0.0005338754,0.0003743049,0.000002137447,2.514359e-7,0.0000155335,0.0002521016],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7196896,"threshold_uncertainty_score":0.7470521,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02604407911317369,"gpt":0.27691893802876,"spread":0.2508748589155863,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003445951,0.0002468397,0.0006235425,0.000115524,0.0001266248,0.000109406,0.000852531,0.0001802703,0.00001112537],"category_scores_gemma":[0.00006425704,0.0001330948,0.0001240065,0.0002437694,0.0002321923,0.0003858545,0.0003032386,0.0004368652,0.00002132746],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007539181,"about_ca_system_score_gemma":0.00006399916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":2.232447e-7,"about_ca_topic_score_gemma":5.40579e-7,"domain_scores_codex":[0.9980969,0.00003845964,0.0006861719,0.0003163781,0.0004515939,0.0004105173],"domain_scores_gemma":[0.9981868,0.0005110536,0.0005726714,0.0002830275,0.0001188398,0.0003275808],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002716944,0.0002413125,0.02643132,0.00003642982,0.0001496833,0.0001750998,0.0007107191,0.000310685,0.04908359,0.4210861,0.002309091,0.4991943],"study_design_scores_gemma":[0.004725988,0.002066282,0.1818542,0.00009590361,0.0001089427,0.0003115812,0.0001682209,0.004661377,0.03081982,0.7604984,0.01349909,0.001190213],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3930831,0.00006554645,0.6028733,0.001835203,0.0002401421,0.00009996768,0.000002596893,0.00004028081,0.001759933],"genre_scores_gemma":[0.9401126,0.00004213331,0.05910762,0.0002482056,0.0004404816,0.000001765611,4.3784e-7,0.00000960784,0.00003714371],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5470295,"threshold_uncertainty_score":0.5427448,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01666084092007708,"gpt":0.2512099248019408,"spread":0.2345490838818637,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001028393,0.0002060377,0.0003705132,0.00005389795,0.001225317,0.0009094425,0.003511679,0.0001040403,0.00000817469],"category_scores_gemma":[0.000302576,0.000112424,0.0002463864,0.00009016497,0.0003674874,0.0003103052,0.0005910487,0.0006582974,0.0001254935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008397675,"about_ca_system_score_gemma":0.0002242833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002631488,"about_ca_topic_score_gemma":0.00000668207,"domain_scores_codex":[0.9981837,0.00003696364,0.0004966955,0.0002544421,0.0005560949,0.0004720575],"domain_scores_gemma":[0.9973118,0.0003529111,0.0008578952,0.0009405225,0.0002171786,0.0003196678],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000120793,0.000269439,0.0002209849,0.00001274375,0.0001048109,0.0004392552,0.0003362825,0.00008215707,0.001822789,0.7384228,0.04071778,0.2174502],"study_design_scores_gemma":[0.003314964,0.001101901,0.01887976,0.00007570805,0.000107012,0.0008121146,0.0001115743,0.06576118,0.0133393,0.2994815,0.5960248,0.0009902266],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.03939935,0.000695123,0.4481082,0.01192895,0.004542544,0.0003987683,0.000003212076,0.0000991842,0.4948247],"genre_scores_gemma":[0.9928015,0.0002071136,0.00506158,0.0003192503,0.0008616819,0.000004532478,2.310603e-7,0.0000111631,0.000732974],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9534021,"threshold_uncertainty_score":0.9424275,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}