{"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","author_layer_release":"2026-06-26"},"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","authors":[{"name":"Ivo Düntsch","is_ca":true},{"name":"Ewa Orłowska","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002474493,0.000672028,0.0008038971,0.001638417,0.001705173,0.003185232,0.0008850258,0.00105434,0.00417478],"category_scores_gemma":[0.003757164,0.0004107708,0.00137257,0.001194828,0.005109352,0.00852764,0.004300307,0.004016297,0.000556183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009878479,"about_ca_system_score_gemma":0.0008245014,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005042028,"about_ca_topic_score_gemma":0.000296935,"domain_scores_codex":[0.9976877,0.0006996674,0.0001701769,0.0005381876,0.000688107,0.0002160712],"domain_scores_gemma":[0.9976408,0.000927248,0.0002660588,0.0003137957,0.0005343267,0.0003176873],"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.000007144812,0.000009989345,0.00004618881,0.00001491863,0.000004001337,0.00002925316,0.0001224462,0.0002825484,0.0004429483,0.9967902,0.0001151795,0.002135166],"study_design_scores_gemma":[0.00001005898,0.00003172322,0.00009287472,0.00001649788,0.00000800622,0.0001284381,0.000108429,0.003223441,0.001021127,0.9897578,0.005588924,0.00001265875],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04047669,0.0009408721,0.9245737,0.0009135348,0.000303106,0.00007948293,0.0001540454,0.0001130579,0.03244543],"genre_scores_gemma":[0.7413053,0.001097371,0.2442358,0.0008481552,0.000525269,0.0002580819,0.0003147137,0.00008850584,0.01132673],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00417478,"threshold_uncertainty_score":0.01396596,"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","authors":[{"name":"Ivo Düntsch","is_ca":true},{"name":"Ewa Orłowska","is_ca":false},{"name":"Tinko Tinchev","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001442527,0.0006073618,0.0004225683,0.002259965,0.001861264,0.004675924,0.0009891283,0.0009528321,0.00722709],"category_scores_gemma":[0.003119761,0.0004361997,0.0007529789,0.001553939,0.002848682,0.006792627,0.002347749,0.001769,0.0006757907],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001383919,"about_ca_system_score_gemma":0.0007106514,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001040312,"about_ca_topic_score_gemma":0.0009780793,"domain_scores_codex":[0.9990061,0.0002835354,0.00007100794,0.0001727297,0.0003263158,0.0001404258],"domain_scores_gemma":[0.9987826,0.0003479579,0.0002499597,0.0001454807,0.0002433541,0.0002306616],"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.000008844281,0.000003957947,0.00006516401,0.00001065949,0.000003963749,0.00002870347,0.00006310108,0.0001713748,0.0003777921,0.9980002,0.0001589664,0.001107396],"study_design_scores_gemma":[0.00001168646,0.00001649888,0.0001156398,0.0000206191,0.0000110623,0.00009837189,0.0001627687,0.005904746,0.00111563,0.9873875,0.005144354,0.00001110041],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2547892,0.003988323,0.5801897,0.002943192,0.0004173769,0.0002111435,0.0006716003,0.0004101657,0.1563793],"genre_scores_gemma":[0.8868483,0.001073022,0.08875851,0.0005414396,0.0002752482,0.0002590432,0.0003230127,0.00009942747,0.02182204],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00722709,"threshold_uncertainty_score":0.02417701,"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","authors":[{"name":"Heather Burnett","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002877271,0.0005196512,0.0003140647,0.001765972,0.002063976,0.00371025,0.0009817376,0.001236479,0.008691666],"category_scores_gemma":[0.005113882,0.0004266477,0.0007760774,0.001522826,0.00624254,0.009834322,0.003799883,0.00187505,0.0006664126],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002639379,"about_ca_system_score_gemma":0.0005197649,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009117111,"about_ca_topic_score_gemma":0.0008965697,"domain_scores_codex":[0.9969736,0.001476957,0.0001664881,0.0006126435,0.000512357,0.0002579145],"domain_scores_gemma":[0.9975503,0.001308854,0.0002778665,0.0004214584,0.000348973,0.00009241047],"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.00001324222,0.000003075344,0.0002096341,0.000026312,0.000003768436,0.00005034962,0.001605849,0.0001915613,0.0005990567,0.992645,0.0001307049,0.004521479],"study_design_scores_gemma":[0.00001276251,0.00004638049,0.001299339,0.0000561022,0.00002716003,0.0003612287,0.001940145,0.003824011,0.002387758,0.9575252,0.03249829,0.00002160916],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2221889,0.001459066,0.5130132,0.001816918,0.0001619179,0.0001034278,0.0002726772,0.000457432,0.2605263],"genre_scores_gemma":[0.96004,0.0002389761,0.03291186,0.0001560318,0.00004634208,0.00004931828,0.0001199713,0.00009517805,0.006342394],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008691666,"threshold_uncertainty_score":0.02907652,"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","authors":[{"name":"James P. Delgrande","is_ca":true},{"name":"Torsten Schaub","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01021469,0.0008202728,0.001025849,0.001365858,0.001707532,0.005003507,0.00250492,0.002956203,0.003148265],"category_scores_gemma":[0.0149528,0.001104319,0.003195639,0.0009140252,0.006880457,0.01625102,0.007040435,0.005275994,0.0007185682],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001778507,"about_ca_system_score_gemma":0.001798166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006839865,"about_ca_topic_score_gemma":0.0009161806,"domain_scores_codex":[0.993696,0.001780983,0.0005237625,0.001348068,0.00212878,0.0005222602],"domain_scores_gemma":[0.9821988,0.008404143,0.001321066,0.006127906,0.001411345,0.0005367573],"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.0004287072,0.000204206,0.003296848,0.000195542,0.0001429894,0.001149961,0.002099652,0.01146399,0.01214846,0.907141,0.001037614,0.06069108],"study_design_scores_gemma":[0.00005773209,0.00007589674,0.0006535813,0.00007979445,0.0001102638,0.0004475455,0.0003271797,0.04635018,0.01504106,0.931386,0.005408617,0.00006210843],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1739768,0.0002664788,0.8060009,0.001893994,0.0001195593,0.0001229015,0.0001640992,0.001102648,0.01635259],"genre_scores_gemma":[0.6627651,0.0001703418,0.3323227,0.0005111626,0.0001112116,0.000132247,0.0002332208,0.0001620757,0.003591832],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01021469,"threshold_uncertainty_score":0.05402106,"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","authors":[{"name":"Clayton Peterson","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003590598,0.0002372201,0.0003848148,0.001800996,0.001271073,0.003947992,0.00119775,0.0008725874,0.002542228],"category_scores_gemma":[0.004676002,0.0002842476,0.0006108805,0.001213112,0.00346309,0.006128358,0.002503938,0.001199338,0.0002474817],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001957351,"about_ca_system_score_gemma":0.001132529,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00100336,"about_ca_topic_score_gemma":0.000925447,"domain_scores_codex":[0.9970323,0.0008426981,0.0001914412,0.0004023692,0.001254236,0.0002769111],"domain_scores_gemma":[0.9952745,0.0027653,0.0003192422,0.0007859551,0.0005461,0.0003088064],"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.00004327596,0.00001782789,0.0003243117,0.00004905923,0.000009364091,0.00003851816,0.000400813,0.0005781635,0.00102497,0.9822994,0.0002253054,0.01498901],"study_design_scores_gemma":[0.00002262381,0.00005789773,0.001322896,0.00005823886,0.00002307319,0.0001705646,0.0003264816,0.009620119,0.001882697,0.9756218,0.01087518,0.00001832349],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3467352,0.01439334,0.4866892,0.004698633,0.0001900347,0.0001262431,0.0003386376,0.000424694,0.146404],"genre_scores_gemma":[0.9387518,0.001693674,0.05316214,0.000497327,0.0001464849,0.00005582814,0.0001245358,0.00004048131,0.005527843],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003947992,"threshold_uncertainty_score":0.01898915,"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","authors":[{"name":"Omar Alaqeeli","is_ca":true},{"name":"William W. Wadge","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002590419,0.0005918418,0.0006925242,0.001434177,0.002496749,0.003688012,0.001538239,0.001135201,0.006013472],"category_scores_gemma":[0.002422395,0.0005721486,0.001245659,0.001295632,0.004331276,0.005220463,0.0030688,0.002580057,0.001117407],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002720437,"about_ca_system_score_gemma":0.002099366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004275835,"about_ca_topic_score_gemma":0.004429837,"domain_scores_codex":[0.9981518,0.0005398018,0.0001202885,0.0003054393,0.0006313393,0.0002511915],"domain_scores_gemma":[0.9989222,0.0004975681,0.00007640266,0.000205589,0.0001928851,0.0001052837],"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.000004868644,0.00000342829,0.00002216617,0.00001958736,0.000003795173,0.0000296561,0.0000876888,0.00036178,0.0002507464,0.9958806,0.0007477962,0.002587948],"study_design_scores_gemma":[0.00001711304,0.00001646803,0.0001187387,0.00004114824,0.00003020731,0.0001870289,0.00008776558,0.007907219,0.001704216,0.9135879,0.07627653,0.00002579947],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01117109,0.003751966,0.8879468,0.003709651,0.0006217466,0.0001199738,0.0004674503,0.001325871,0.09088551],"genre_scores_gemma":[0.4438979,0.003727598,0.5034375,0.001933759,0.000748111,0.0004648885,0.0004775466,0.000345003,0.04496768],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006013472,"threshold_uncertainty_score":0.0201171,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}