{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":12,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":12,"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":"3ee5f500e745","filters":{"venue":"The Australasian Journal of Logic"}},"results":[{"id":"W1640057716","doi":"10.26686/ajl.v3i0.1769","title":"Justification of Argumentation Schemes","year":2005,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Winnipeg","funders":"","keywords":"Argumentation theory; Argument (complex analysis); Defeasible estate; Inference; Epistemology; Computer science; Scheme (mathematics); Key (lock); Argumentation framework; Artificial intelligence; Mathematics; Philosophy; Computer security","authors":[{"name":"Douglas Walton","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04089321282050327,"gpt":0.2948102660106069,"spread":0.2539170531901036,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01882025,0.001408734,0.001553734,0.006139881,0.004009444,0.01009298,0.002697563,0.006719411,0.01280674],"category_scores_gemma":[0.05929934,0.0008436526,0.001921785,0.003888636,0.01124187,0.01364378,0.005584592,0.004341669,0.002472777],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00483189,"about_ca_system_score_gemma":0.002556812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009750875,"about_ca_topic_score_gemma":0.0009694171,"domain_scores_codex":[0.9719374,0.01602255,0.002747511,0.002638035,0.005600494,0.001054008],"domain_scores_gemma":[0.9659838,0.01966581,0.0026198,0.004588223,0.006312917,0.0008295618],"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.00000769479,0.000004613624,0.00005970732,0.00006147639,0.000008640708,0.0000265713,0.0002511417,0.0003995693,0.00006855964,0.9947441,0.0006192341,0.00374872],"study_design_scores_gemma":[0.00001916408,0.000008651084,0.00005387112,0.00008707954,0.000007045217,0.00004775316,0.0001076524,0.00228826,0.0001531127,0.9771887,0.02002983,0.000008845198],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01336061,0.005375271,0.7455776,0.01057432,0.0009549933,0.0008329332,0.0008089899,0.0004273098,0.222088],"genre_scores_gemma":[0.5183194,0.003384008,0.4478946,0.001488795,0.0009924625,0.001303222,0.001312295,0.0002175009,0.02508774],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01882025,"threshold_uncertainty_score":0.09953213,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2620887081","doi":"10.26686/ajl.v14i1.4026","title":"Resolving Quine's Confict: A Neo-Quinean View of the Rational Revisability of Logic","year":2017,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Philosophy, Science, and History","field":"Arts and Humanities","cited_by":8,"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","keywords":"Quine; Argument (complex analysis); Epistemology; Philosophy; Exegesis; Subject (documents); Computer science; Theology","authors":[{"name":"Amanda Bryant","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09137614410707275,"gpt":0.2870633837069518,"spread":0.1956872395998791,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02143482,0.0004771047,0.000965399,0.001725848,0.005539789,0.009949885,0.002546789,0.006515242,0.002649852],"category_scores_gemma":[0.03011011,0.0005948554,0.001010576,0.001053545,0.06261829,0.01841808,0.005894546,0.01069764,0.0005919272],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006508662,"about_ca_system_score_gemma":0.003604365,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005183422,"about_ca_topic_score_gemma":0.002745695,"domain_scores_codex":[0.9850948,0.00890633,0.0005840944,0.001968821,0.002603163,0.0008428034],"domain_scores_gemma":[0.9772139,0.01412185,0.001290929,0.004192118,0.002565964,0.0006152582],"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.00001197624,0.000004504989,0.00005945001,0.00001486824,0.000004992098,0.00004748573,0.002647616,0.0002471338,0.00005068031,0.9933756,0.001741755,0.001793843],"study_design_scores_gemma":[0.000009731582,0.000004467846,0.00004930952,0.00002510863,0.00000209273,0.00002652652,0.0003890132,0.0006290168,0.00007291042,0.9889649,0.009818058,0.000008788869],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.05449293,0.01080793,0.2186492,0.4330822,0.001724266,0.00008380118,0.0001556874,0.0003151647,0.2806888],"genre_scores_gemma":[0.9450218,0.00145868,0.02118144,0.0178948,0.001126294,0.0001250517,0.00003772453,0.0001854509,0.01296868],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02143482,"threshold_uncertainty_score":0.1133596,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2295763493","doi":"10.26686/ajl.v13i1.3926","title":"Relevance Logic: Problems Open and Closed","year":2016,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Relevance (law); Fragment (logic); Semilattice; Mathematics; Decision problem; Algebra over a field; Computer science; Discrete mathematics; Algorithm; Pure mathematics","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04184020616646513,"gpt":0.2815974418179703,"spread":0.2397572356515052,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01579184,0.001105856,0.002411889,0.003049393,0.007203937,0.01317842,0.00424718,0.007512234,0.0134571],"category_scores_gemma":[0.0473529,0.001341744,0.002974702,0.005134311,0.0171317,0.04113068,0.008945553,0.01469002,0.00184206],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004964517,"about_ca_system_score_gemma":0.002843405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002358026,"about_ca_topic_score_gemma":0.001105596,"domain_scores_codex":[0.986235,0.006008056,0.0007413257,0.002875899,0.003107488,0.001032403],"domain_scores_gemma":[0.9235147,0.06918921,0.001475054,0.002274256,0.002489855,0.001056986],"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.00005052444,0.00006826653,0.0002322679,0.0003888843,0.00002467315,0.0001553169,0.0006404453,0.001671307,0.0001980209,0.9564165,0.008442357,0.03171142],"study_design_scores_gemma":[0.000009886047,0.000009219047,0.00005112106,0.00005087661,0.000005951406,0.00008859671,0.0001336263,0.001518099,0.00009042653,0.9914361,0.006596028,0.00001007265],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0267399,0.04589457,0.7125661,0.09886366,0.002783464,0.0002594789,0.0005769966,0.0005456773,0.1117701],"genre_scores_gemma":[0.5942761,0.03784033,0.2897846,0.0154813,0.02137151,0.0007811353,0.00130155,0.0005295441,0.03863399],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01579184,"threshold_uncertainty_score":0.0835163,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1529320093","doi":"10.26686/ajl.v4i0.1778","title":"Some non-standard interpretations of the axiomatic basis of Leśniewski’s Ontology","year":2006,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Semantic Web and Ontologies","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":"University of Calgary","funders":"","keywords":"Axiom; Ontology; Meaning (existential); Functor; Statement (logic); Basis (linear algebra); Mathematics; Semantics (computer science); Constant (computer programming); Axiomatic system; Natural language processing; Epistemology; Computer science; Discrete mathematics; Philosophy; Programming language","authors":[{"name":"Rafał Urbaniak","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01658101990030346,"gpt":0.2585725854186751,"spread":0.2419915655183716,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004627133,0.0007367546,0.0006480622,0.00290792,0.002281704,0.004298167,0.002503913,0.002156266,0.004942957],"category_scores_gemma":[0.005048041,0.0005864517,0.001403565,0.00211209,0.01051956,0.01331112,0.003495507,0.004123992,0.0007120757],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003353205,"about_ca_system_score_gemma":0.001692906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003055197,"about_ca_topic_score_gemma":0.003006882,"domain_scores_codex":[0.9976198,0.000774153,0.0002345689,0.0003641493,0.0007438144,0.000263628],"domain_scores_gemma":[0.9982647,0.0005775435,0.0001959763,0.0003438802,0.0004918051,0.0001260823],"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.000002993928,0.000004030746,0.0000225077,0.000007947435,0.000001452086,0.00002032366,0.0002023472,0.00008503678,0.00007781884,0.9985013,0.0003795722,0.0006946601],"study_design_scores_gemma":[0.000005515755,0.000003692382,0.00006754993,0.00001152953,0.000003588407,0.00002352851,0.00007088881,0.001020966,0.0001788765,0.991964,0.00664216,0.000007754885],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05565464,0.002651423,0.7515208,0.02301094,0.00103929,0.000140219,0.0007044438,0.0004895438,0.1647888],"genre_scores_gemma":[0.7187645,0.001744281,0.2505471,0.004130052,0.0008849688,0.0004196842,0.0006700768,0.0002191383,0.02262012],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004942957,"threshold_uncertainty_score":0.02447093,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2874049253","doi":"10.26686/ajl.v15i2.4066","title":"Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics","year":2018,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","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":"University of Alberta","funders":"","keywords":"Relevance (law); Semantics (computer science); Proof-theoretic semantics; Relation (database); Set (abstract data type); Kripke semantics; Presentation (obstetrics); Mathematics; Computer science; Natural language processing; Epistemology; Algebra over a field; Artificial intelligence; Programming language; Operational semantics; Philosophy; Description logic; Pure mathematics; Denotational semantics; Data mining; Intermediate logic","authors":[{"name":"Katalin Bimbó","is_ca":true},{"name":"J. Michael Dunn","is_ca":false},{"name":"Nicholas Ferenz","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03799325354492111,"gpt":0.27567773915424,"spread":0.2376844856093189,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005353141,0.0007973208,0.0005605035,0.002033307,0.00288868,0.006718002,0.001121105,0.00247385,0.004117351],"category_scores_gemma":[0.02679292,0.0004440276,0.0008792739,0.001743708,0.00870277,0.01023556,0.002727895,0.006367108,0.001496047],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004355869,"about_ca_system_score_gemma":0.003699791,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002088374,"about_ca_topic_score_gemma":0.001941502,"domain_scores_codex":[0.996216,0.001784731,0.000250878,0.0006169787,0.0009636626,0.0001676941],"domain_scores_gemma":[0.9903702,0.004994381,0.000616325,0.0009108767,0.002532578,0.0005756668],"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.00006130283,0.00001967246,0.00009514065,0.0001550584,0.00002035173,0.0001264944,0.002115654,0.0003308431,0.0008263107,0.8681025,0.1021824,0.02596425],"study_design_scores_gemma":[0.00002494936,0.00003810964,0.0001944255,0.0002916538,0.00002973572,0.0002260081,0.000575576,0.0006814559,0.001873706,0.4093611,0.5866303,0.00007293013],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01675512,0.08857638,0.3371736,0.3364902,0.09185498,0.0002079771,0.0008982787,0.001140592,0.126903],"genre_scores_gemma":[0.3659883,0.05673532,0.2099901,0.06733418,0.06311117,0.0006118208,0.0008683641,0.002955924,0.2324048],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006718002,"threshold_uncertainty_score":0.03160417,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1559028082","doi":"10.26686/ajl.v12i5.3891","title":"First degree formulas in quantified S5","year":2015,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, programming, and type systems","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":"University of Toronto","funders":"","keywords":"Degree (music); Context (archaeology); Mathematics; Modal logic; Modal; Algebra over a field; Algorithm; Calculus (dental); Pure mathematics; Physics; Chemistry; Geography; Medicine","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1232084964079367,"gpt":0.2971933102502508,"spread":0.1739848138423142,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001759156,0.0004920069,0.0005440654,0.001503609,0.001510996,0.00359299,0.001503112,0.001078791,0.006667412],"category_scores_gemma":[0.003603738,0.0005763483,0.001386731,0.001094199,0.004458451,0.007018874,0.003256351,0.003100724,0.0006082005],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00367384,"about_ca_system_score_gemma":0.001425783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007365825,"about_ca_topic_score_gemma":0.00643534,"domain_scores_codex":[0.9981745,0.0002868228,0.0001403815,0.0003978343,0.0005982242,0.0004021841],"domain_scores_gemma":[0.9981235,0.0007884706,0.000199736,0.0002719914,0.0004708299,0.0001454774],"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.00003490799,0.000008978991,0.0002296938,0.00004870421,0.0000101803,0.0001236274,0.0002864591,0.0007872888,0.001259021,0.9927438,0.0007767343,0.003690614],"study_design_scores_gemma":[0.00002807835,0.00003074553,0.0004990001,0.0000412277,0.00003243662,0.0002021703,0.0002373332,0.006062172,0.003737889,0.975648,0.01344934,0.00003165517],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3816981,0.002352814,0.4250203,0.006149471,0.0008986925,0.00008474054,0.001124623,0.001716151,0.1809551],"genre_scores_gemma":[0.9588973,0.0003487801,0.03032991,0.0007373054,0.0001579327,0.00002374981,0.0003013446,0.00009912983,0.009104519],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007365825,"threshold_uncertainty_score":0.02665567,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4317796404","doi":"10.26686/ajl.v19i5.7540","title":"Minimally Nonstandard K3 and FDE","year":2022,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Paraconsistent logic; Sequent; Propositional calculus; Mathematics; Sequent calculus; Classical logic; Many-valued logic; Logical consequence; Intermediate logic; Order (exchange); Intuitionistic logic; Computer science; Calculus (dental); Higher-order logic; Algorithm; Algebra over a field; Discrete mathematics; Description logic; Theoretical computer science; Artificial intelligence; Pure mathematics; Medicine","authors":[{"name":"Rea Golan","is_ca":false},{"name":"Ulf Hlobil","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03186449682996105,"gpt":0.3090543199662029,"spread":0.2771898231362418,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003956011,0.000438244,0.0005512987,0.001091587,0.001852768,0.003006368,0.00178205,0.001622556,0.004470438],"category_scores_gemma":[0.007788838,0.0004080591,0.00141276,0.001022606,0.007996142,0.007394399,0.003290348,0.004387524,0.0006365078],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002840792,"about_ca_system_score_gemma":0.002085244,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002865406,"about_ca_topic_score_gemma":0.003013706,"domain_scores_codex":[0.9972498,0.0008482913,0.0002041177,0.0006155169,0.0007712184,0.0003111468],"domain_scores_gemma":[0.9951242,0.002329273,0.0003802404,0.0008026281,0.001046111,0.0003176638],"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.00001598089,0.000009727903,0.0000869217,0.0000242321,0.000006383756,0.00006429755,0.0001792521,0.0005373825,0.0002923511,0.9955772,0.0004771583,0.002729036],"study_design_scores_gemma":[0.00001123393,0.00001021949,0.00006913042,0.00001260181,0.000005761156,0.0001009063,0.00008791776,0.00301489,0.0006834256,0.9908098,0.005181072,0.00001296007],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08237206,0.001664895,0.7745139,0.01092982,0.0003570695,0.0001313067,0.0004246332,0.0007521231,0.1288543],"genre_scores_gemma":[0.8120008,0.0005259819,0.1738499,0.002468265,0.0001233051,0.0000787129,0.0002633317,0.0001493808,0.01054037],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004470438,"threshold_uncertainty_score":0.02092159,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3130255400","doi":"10.26686/ajl.v18i1.6539","title":"Ehrenfeucht-Fraïssé games without identity","year":2021,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Game Theory and Applications","field":"Decision Sciences","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Identity (music); Relation (database); Binary relation; Mathematics; Identity function; Binary number; Linguistics; Computer science; Discrete mathematics; Arithmetic; Philosophy; Data mining","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1365999605084593,"gpt":0.4161479154486735,"spread":0.2795479549402142,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003186939,0.0009880522,0.001330215,0.001042558,0.001982035,0.003814266,0.001342276,0.002448866,0.004198488],"category_scores_gemma":[0.006648481,0.000375032,0.001626757,0.0009771981,0.005235583,0.0099549,0.003210617,0.00353018,0.0006692982],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00276258,"about_ca_system_score_gemma":0.001492142,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003021149,"about_ca_topic_score_gemma":0.00247201,"domain_scores_codex":[0.9968761,0.001236885,0.0001907808,0.0004761347,0.0006099946,0.0006101407],"domain_scores_gemma":[0.9972743,0.00156986,0.000203307,0.00038718,0.0003471159,0.0002181328],"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.00000599851,0.000004137979,0.0000275267,0.000004779971,0.000001984593,0.00001641817,0.00005042518,0.0006223535,0.00004993862,0.9983694,0.0001812803,0.0006657026],"study_design_scores_gemma":[0.000006674838,0.000007588422,0.00002612236,0.000006774937,0.000003512114,0.00002150729,0.00003011639,0.004950903,0.0001214157,0.9929793,0.001840342,0.000005634109],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1236205,0.0006412631,0.6720676,0.005923969,0.0003399245,0.0001882207,0.0004663907,0.0001696889,0.1965824],"genre_scores_gemma":[0.9033416,0.0004737472,0.07066239,0.0007802626,0.0001743346,0.0001919209,0.0002086262,0.00005656622,0.02411059],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004198488,"threshold_uncertainty_score":0.02004403,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1535419843","doi":"10.26686/ajl.v2i0.1768","title":"Limiting Cases for Spectrum Closure Results","year":2004,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"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":"Spectrum (functional analysis); Closure (psychology); Mathematics; Class (philosophy); Image (mathematics); Function (biology); Limiting; Set (abstract data type); Sentence; Order (exchange); Pure mathematics; Spectral line; Combinatorics; Discrete mathematics; Computer science; Artificial intelligence; Physics; Quantum mechanics","authors":[{"name":"Aaron Hunter","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03882682308431577,"gpt":0.2751550541640256,"spread":0.2363282310797099,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006978875,0.0008639807,0.001431069,0.003109667,0.003520234,0.006892249,0.001679716,0.002672426,0.01188693],"category_scores_gemma":[0.02881134,0.000706059,0.002672972,0.001513849,0.008030593,0.01906131,0.007923415,0.005799117,0.00139108],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002505419,"about_ca_system_score_gemma":0.0006527441,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007351976,"about_ca_topic_score_gemma":0.000294439,"domain_scores_codex":[0.9936727,0.001543278,0.0004609437,0.001756251,0.001581322,0.0009854129],"domain_scores_gemma":[0.9709472,0.0215855,0.001388283,0.002447871,0.001750156,0.001881006],"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.00005758309,0.00004322336,0.0006952458,0.00005581028,0.00001484701,0.0003603037,0.0007257683,0.0004263302,0.000773416,0.9920627,0.0009389547,0.003845768],"study_design_scores_gemma":[0.00002615519,0.00001787583,0.000219972,0.00003385362,0.00001126179,0.0003573441,0.0002548702,0.003764629,0.0007203846,0.9916402,0.002938435,0.0000149915],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3289974,0.004263514,0.4637,0.009926615,0.0004585759,0.0002330912,0.0007915514,0.001504575,0.1901246],"genre_scores_gemma":[0.965562,0.001062707,0.02291737,0.001208751,0.0005843561,0.0003108699,0.0004384514,0.0003103125,0.007605042],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01188693,"threshold_uncertainty_score":0.03976572,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2167149036","doi":"10.26686/ajl.v6i0.1799","title":"Collapsing Arguments for Facts and Propositions","year":2008,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Quine; Epistemology; Axiom; Argument (complex analysis); Philosophy; Class (philosophy); Linguistics; Mathematics","authors":[{"name":"John Howard Sobel","is_ca":true}],"retraction":null,"screen_n_in":0,"score":{"opus":0.06306229818843614,"gpt":0.3321463581922036,"spread":0.2690840600037674,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01780992,0.001124359,0.001542494,0.007269616,0.00690615,0.01281034,0.002560391,0.003978886,0.01900974],"category_scores_gemma":[0.05093416,0.001235671,0.002154124,0.005536246,0.02910188,0.03300958,0.0177468,0.01220764,0.001854665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007933797,"about_ca_system_score_gemma":0.002247601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002249318,"about_ca_topic_score_gemma":0.001493063,"domain_scores_codex":[0.9798183,0.0094442,0.001023362,0.003187106,0.005089385,0.001437659],"domain_scores_gemma":[0.9631699,0.0233762,0.002158266,0.005701533,0.004189744,0.001404313],"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.00001299571,0.000004146075,0.00007420308,0.00002447397,0.000009901342,0.00005163504,0.0009781132,0.00008456489,0.00003802351,0.9965169,0.0007403616,0.001464587],"study_design_scores_gemma":[0.00001069647,0.000004067858,0.00006039882,0.00005531524,0.00001054899,0.00002552442,0.000378404,0.00032387,0.00007360866,0.9867464,0.01230679,0.000004390164],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.05253161,0.009792313,0.2854664,0.05377596,0.002135789,0.0002030722,0.00051463,0.0003966579,0.5951836],"genre_scores_gemma":[0.9189266,0.003328639,0.04698328,0.007721208,0.001733846,0.0003439409,0.0004768239,0.000398883,0.02008672],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01900974,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4366003179","doi":"10.26686/ajl.v20i1.8086","title":"Geometry of Relevant Implication II","year":2023,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, programming, and type systems","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 Toronto","funders":"","keywords":"Simple (philosophy); Mathematics; Fragment (logic); Variable (mathematics); Geometry; Algebra over a field; Calculus (dental); Pure mathematics; Algorithm; Mathematical analysis; Philosophy; Epistemology; Medicine","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03860147774022106,"gpt":0.2863669516867643,"spread":0.2477654739465432,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00103276,0.0004273755,0.0004619966,0.001558646,0.002021498,0.003777294,0.001184448,0.001065195,0.01170933],"category_scores_gemma":[0.003543564,0.0004919802,0.001096685,0.0008750728,0.004339622,0.007801022,0.00300234,0.003599156,0.001461154],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00181712,"about_ca_system_score_gemma":0.0007276952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00098879,"about_ca_topic_score_gemma":0.0007019864,"domain_scores_codex":[0.9979674,0.0004424681,0.000143724,0.0005491524,0.0005971153,0.0003001742],"domain_scores_gemma":[0.9987125,0.0005331443,0.0001535583,0.0002021838,0.0003264524,0.00007209395],"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.00001942492,0.000003994725,0.00009582752,0.00002720815,0.00000347554,0.0001596211,0.0001678782,0.0004254836,0.0006282359,0.9961048,0.0005171679,0.001846747],"study_design_scores_gemma":[0.00001132893,0.00001145678,0.0001655469,0.00001416178,0.00001002493,0.0002185087,0.000220445,0.001442576,0.001186519,0.9860409,0.01066752,0.00001099579],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1593869,0.00178358,0.420932,0.006299298,0.000935097,0.0001962874,0.00102896,0.0006786199,0.4087592],"genre_scores_gemma":[0.932485,0.0006668647,0.04929398,0.0008910362,0.0003158048,0.00009621107,0.0005394228,0.000179007,0.01553264],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01170933,"threshold_uncertainty_score":0.03917164,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4400722659","doi":"10.26686/ajl.v21i3.7409","title":"Condorcet-Style Paradoxes for Majority Rule with Infinte Candidates","year":2024,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Game Theory and Voting Systems","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Douglas College","funders":"European Commission; Yale University","keywords":"Condorcet method; Style (visual arts); Majority rule; Computer science; Mathematical economics; Mathematics; Artificial intelligence; Political science; Law; Voting; Art; Literature","authors":[{"name":"Matthew Rachar","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03478268939167749,"gpt":0.2533978271974986,"spread":0.2186151378058211,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008365282,0.0006277338,0.0012354,0.001111591,0.003816618,0.005493032,0.001861746,0.003705878,0.01006002],"category_scores_gemma":[0.02252127,0.0005022642,0.001903831,0.0008014392,0.006423999,0.009233881,0.003552848,0.005236104,0.001082476],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001803388,"about_ca_system_score_gemma":0.001287427,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006484415,"about_ca_topic_score_gemma":0.0008668157,"domain_scores_codex":[0.9932311,0.00326226,0.0004188831,0.001081288,0.001335176,0.0006713134],"domain_scores_gemma":[0.9887578,0.007714267,0.0006735456,0.001398901,0.0007369919,0.000718536],"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.00002159429,0.00001117639,0.00009172378,0.00001774623,0.000005876486,0.00006369616,0.000100862,0.0007138597,0.0001056175,0.9971473,0.000618577,0.001101942],"study_design_scores_gemma":[0.00002704181,0.000009251793,0.00003881075,0.000008456259,0.000003890033,0.00006627663,0.00003997604,0.005070515,0.0001270719,0.993291,0.001311723,0.000005861235],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2080998,0.0009875735,0.4836348,0.01897617,0.0005554709,0.0003187894,0.0005043435,0.0002854072,0.2866376],"genre_scores_gemma":[0.9426107,0.0002675003,0.04313584,0.000960194,0.000206144,0.0003252717,0.0001285621,0.00004154852,0.01232416],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01006002,"threshold_uncertainty_score":0.04424042,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}