{"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":"4bb2cf3d323c","filters":{"venue":"Logica Universalis"}},"results":[{"id":"W2417553771","doi":"10.1007/s11787-016-0150-3","title":"The Klein Group, Squares of Opposition and the Explanation of Fallacies in Reasoning","year":2016,"lang":"en","type":"article","venue":"Logica Universalis","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Premise; Opposition (politics); Epistemology; Phenomenon; Propositional calculus; Inference; Binary number; Binary opposition; Computer science; Mathematics; Calculus (dental); Philosophy; Discrete mathematics; Political science; Law; Arithmetic","authors":[{"name":"Serge Robert","is_ca":true},{"name":"Janie Brisson","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.006441353353435574,"gpt":0.1869280982988993,"spread":0.1804867449454638,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003341571,0.0006896651,0.001102643,0.002459147,0.002112079,0.004386073,0.001968718,0.003017479,0.006540272],"category_scores_gemma":[0.01258426,0.0006886559,0.001487508,0.002522715,0.0208756,0.01376278,0.003883309,0.003437455,0.0005690617],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002083615,"about_ca_system_score_gemma":0.001204407,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003269551,"about_ca_topic_score_gemma":0.002111205,"domain_scores_codex":[0.9969569,0.001967242,0.000146538,0.0003119529,0.0004211288,0.0001962431],"domain_scores_gemma":[0.9943238,0.004254919,0.0003450288,0.0006835207,0.0002377161,0.0001550509],"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.00001933758,0.000004736289,0.00009491541,0.00002802277,0.000007539845,0.00002090598,0.0003803707,0.001620561,0.00004616086,0.9947772,0.0004736501,0.00252657],"study_design_scores_gemma":[0.000005121699,0.000001215784,0.00001435175,0.000002523513,0.000001210544,0.000004796355,0.00004232246,0.0008353816,0.00001183442,0.9986084,0.0004712844,0.000001611651],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1630367,0.007723859,0.568029,0.02900414,0.0005718601,0.0001286807,0.0004159914,0.0006850687,0.2304047],"genre_scores_gemma":[0.9533789,0.0007933371,0.04049737,0.0003851853,0.0001549934,0.00008449593,0.0001146976,0.00007182054,0.004519214],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006540272,"threshold_uncertainty_score":0.02187937,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4244393162","doi":"10.1007/s11787-007-0033-8","title":"Preface","year":2008,"lang":"en","type":"article","venue":"Logica Universalis","topic":"","field":"","cited_by":12,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Linguistics; Political science; Philosophy","authors":[{"name":"Jean-Yves Béziau","is_ca":false},{"name":"Gillman Payette","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0547482475818036,"gpt":0.2133557363061642,"spread":0.1586074887243606,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001296441,0.001018055,0.0008103302,0.003928693,0.003350928,0.003950119,0.001256199,0.001038782,0.2734881],"category_scores_gemma":[0.007382086,0.0003711311,0.0007105938,0.002926568,0.001349544,0.004609901,0.001944957,0.00438797,0.1568993],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003029103,"about_ca_system_score_gemma":0.001642577,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004369355,"about_ca_topic_score_gemma":0.005247825,"domain_scores_codex":[0.9991853,0.0001689688,0.00004234715,0.000154102,0.0003828064,0.00006643641],"domain_scores_gemma":[0.9970723,0.0007527821,0.00009532793,0.0003674898,0.001439939,0.0002720334],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002912161,0.00002288235,0.00007672934,0.0001109191,0.000003480892,0.00002762986,0.000129818,0.00007144025,0.0001390487,0.05415476,0.90623,0.03900415],"study_design_scores_gemma":[0.000004724058,0.000007379018,0.0001917018,0.0001066844,0.000002862669,0.00003263417,0.00008275043,0.00005934483,0.0001305764,0.02149912,0.9778751,0.000007208359],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"editorial","genre_scores_codex":[0.001201521,0.01296705,0.01870764,0.03594327,0.1233245,0.0002568309,0.005805233,0.00134831,0.8004457],"genre_scores_gemma":[0.01257819,0.006433186,0.004493104,0.006895926,0.03015509,0.0002079881,0.004020162,0.001238516,0.9339777],"genre_candidate":"editorial","genre_consensus":null,"teacher_disagreement_score":0.2734881,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4255435609","doi":"10.1007/s11787-007-0015-x","title":"On Preserving","year":2007,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":8,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Dalhousie University","funders":"","keywords":"Inference; Consistency (knowledge bases); Generalization; Relation (database); Computer science; Epistemology; Artificial intelligence; Rule of inference; Natural language processing; Theoretical computer science; Data mining; Philosophy","authors":[{"name":"Gillman Payette","is_ca":true},{"name":"Peter Κ. Schotch","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02792824008662721,"gpt":0.3093205292949134,"spread":0.2813922892082862,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001463842,0.0009338857,0.0009772182,0.001819635,0.003963535,0.005218106,0.001351159,0.001473494,0.02742438],"category_scores_gemma":[0.004534538,0.00056912,0.001373347,0.001770806,0.004951236,0.0150519,0.005835782,0.005523573,0.004264606],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002110975,"about_ca_system_score_gemma":0.001439788,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001780785,"about_ca_topic_score_gemma":0.001660143,"domain_scores_codex":[0.9978924,0.0004450539,0.000106798,0.00064828,0.0005057374,0.0004016761],"domain_scores_gemma":[0.9973541,0.0006604221,0.0001227824,0.001153416,0.0005255423,0.0001837438],"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.00002052528,0.00001476239,0.00006157222,0.00001746445,0.000005171919,0.00001723802,0.0001567186,0.00009922578,0.000197199,0.9893534,0.002015194,0.008041614],"study_design_scores_gemma":[0.000005030476,0.00000727794,0.00006041366,0.000008445104,0.000007669668,0.00004083417,0.00008454922,0.000372911,0.0003390967,0.9860103,0.01305952,0.000003974511],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0617023,0.002148676,0.2786095,0.01402328,0.001748989,0.0001522773,0.0009123105,0.001287378,0.6394154],"genre_scores_gemma":[0.7302134,0.001904488,0.02918471,0.003121084,0.001122147,0.0001406844,0.0009501781,0.001193734,0.2321696],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02742438,"threshold_uncertainty_score":0.09174365,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2896430270","doi":"10.1007/s11787-018-0214-7","title":"Pecularities of Some Three- and Four-Valued Second Order Logics","year":2018,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Statement (logic); Order (exchange); Mathematics; Propositional calculus; Many-valued logic; T-norm fuzzy logics; Truth value; Mathematical economics; Discrete mathematics; Computer science; Description logic; Calculus (dental); Artificial intelligence; Epistemology; Philosophy; Programming language; Fuzzy logic","authors":[{"name":"Allen Hazen","is_ca":true},{"name":"Francis Jeffry Pelletier","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02407551781598009,"gpt":0.2185111476771034,"spread":0.1944356298611233,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003664664,0.0004876974,0.0009341434,0.001781971,0.003027818,0.007587758,0.001390784,0.00178585,0.009070878],"category_scores_gemma":[0.007777367,0.0006339061,0.001490148,0.002219955,0.0065624,0.01156176,0.003074183,0.004302535,0.0005693012],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003785654,"about_ca_system_score_gemma":0.001562789,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001984903,"about_ca_topic_score_gemma":0.001511147,"domain_scores_codex":[0.9980895,0.0005984682,0.0001182122,0.000252412,0.0005806691,0.0003607155],"domain_scores_gemma":[0.9931843,0.004630244,0.0005009998,0.0005545884,0.0005794014,0.0005504442],"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.00001813837,0.000006338204,0.00006675094,0.000006803027,0.000003096302,0.00002036529,0.00008243482,0.0002399286,0.00006631952,0.998421,0.0002273636,0.0008415467],"study_design_scores_gemma":[0.00000988105,0.000002554519,0.00004574405,0.000004584972,0.000003734704,0.00002215749,0.00004208252,0.001801146,0.0000951877,0.9971222,0.000846925,0.000003889071],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.437958,0.00334535,0.2180086,0.01792172,0.0002630907,0.00008856575,0.0008712031,0.000372898,0.3211705],"genre_scores_gemma":[0.9681247,0.0008424558,0.01770429,0.0008591422,0.0001828867,0.00006651031,0.0002967551,0.00004694787,0.01187626],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009070878,"threshold_uncertainty_score":0.03034508,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1999258758","doi":"10.1007/s11787-011-0027-4","title":"On a New Idiom in the Study of Entailment","year":2011,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Historical Philosophy and Science","field":"Arts and Humanities","cited_by":4,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Logical consequence; Natural language processing; Computer science; Linguistics; Artificial intelligence; Philosophy","authors":[{"name":"R. E. Jennings","is_ca":true},{"name":"Yingquan Chen","is_ca":true},{"name":"Julian Sahasrabudhe","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1671434931500538,"gpt":0.2250500747339904,"spread":0.05790658158393661,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005839828,0.000830608,0.00145058,0.004546992,0.004121005,0.008646912,0.00304028,0.004249227,0.01041882],"category_scores_gemma":[0.008319587,0.0007977156,0.001652831,0.004449934,0.02389628,0.03117478,0.00570505,0.008704058,0.00122598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003208338,"about_ca_system_score_gemma":0.001449865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002078114,"about_ca_topic_score_gemma":0.002610551,"domain_scores_codex":[0.9966899,0.002020717,0.0001531564,0.00047347,0.0004550894,0.0002077074],"domain_scores_gemma":[0.9923976,0.005912176,0.0002484383,0.0008433262,0.0003596757,0.0002387973],"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.000003338626,0.00000256207,0.00002375416,0.000008916648,0.000001202711,0.00001044842,0.0002451962,0.00003756477,0.00002544655,0.9982523,0.0003721073,0.001017042],"study_design_scores_gemma":[0.000005626934,0.000004652071,0.00004386043,0.00002255677,0.000003236754,0.00003084893,0.0001553222,0.0004529128,0.00004579609,0.989408,0.009822738,0.000004499389],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02751228,0.01687413,0.6465073,0.05130452,0.002326643,0.00007626809,0.0003796897,0.0002954512,0.2547237],"genre_scores_gemma":[0.7492344,0.01101836,0.1869114,0.009959128,0.007395774,0.0003572529,0.0004818706,0.0006884668,0.03395332],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01041882,"threshold_uncertainty_score":0.03485435,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2320353775","doi":"10.1007/s11787-016-0144-1","title":"A Square of Oppositions in Intuitionistic Logic with Strong Negation","year":2016,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Montréal","funders":"","keywords":"Negation; Intuitionistic logic; Falsity; Law of excluded middle; Negation as failure; Mathematics; Calculus (dental); Paraconsistent logic; Axiom; Axiomatic system; Algebra over a field; Pure mathematics; Discrete mathematics; Propositional calculus; Epistemology; Autoepistemic logic; Linguistics; Computer science; Multimodal logic; Philosophy; Artificial intelligence","authors":[{"name":"François Lepage","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01645153217185681,"gpt":0.2197394676817104,"spread":0.2032879355098536,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002267932,0.000386659,0.0007454721,0.001173575,0.002995552,0.004910869,0.00116809,0.001651802,0.01136095],"category_scores_gemma":[0.007755313,0.000735352,0.001263496,0.00116464,0.005508252,0.009715617,0.003385529,0.003894849,0.001500488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001064393,"about_ca_system_score_gemma":0.000753499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001099541,"about_ca_topic_score_gemma":0.001310432,"domain_scores_codex":[0.9975222,0.0008243719,0.0001637861,0.0005268619,0.0006575481,0.0003052467],"domain_scores_gemma":[0.9961184,0.002486508,0.0002102697,0.0002995015,0.0005829324,0.0003023879],"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.00007412405,0.00001539478,0.0001445258,0.00002759115,0.000008467472,0.00009676832,0.0002424068,0.0003225017,0.0006826055,0.9930149,0.001142867,0.004227876],"study_design_scores_gemma":[0.00002448855,0.0000191718,0.00009678289,0.000009557213,0.0000137232,0.0001107243,0.0001499352,0.003572021,0.0005872336,0.9914328,0.003973192,0.00001033429],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2373912,0.001212356,0.4207329,0.008559802,0.001255292,0.0001208813,0.0004575825,0.0007620671,0.329508],"genre_scores_gemma":[0.9331007,0.0002159945,0.0450811,0.000762508,0.0002573051,0.00007196626,0.0001933896,0.0001403424,0.02017682],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01136095,"threshold_uncertainty_score":0.03800613,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3202309894","doi":"10.1007/s11787-021-00289-y","title":"The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable","year":2021,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Epistemology, Ethics, and Metaphysics","field":"Arts and Humanities","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Epistemology; Argument (complex analysis); Relevance (law); Principal (computer security); Criminal justice; Criminal law; Inference; Philosophy; Sociology; Law; Law and economics; Political science; Computer science","authors":[{"name":"John Woods","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0354634357098894,"gpt":0.2407398823709184,"spread":0.205276446661029,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01090791,0.0007199644,0.001262254,0.002741788,0.008060139,0.01054321,0.003494134,0.005299414,0.007099533],"category_scores_gemma":[0.01920849,0.0007570797,0.001000789,0.001813274,0.1170722,0.03637431,0.009241492,0.007793925,0.0007186161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004430386,"about_ca_system_score_gemma":0.004947113,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007975094,"about_ca_topic_score_gemma":0.006336375,"domain_scores_codex":[0.9930219,0.003652792,0.0002783065,0.001557861,0.0008334673,0.0006556181],"domain_scores_gemma":[0.980354,0.01041035,0.001325232,0.004519698,0.001907932,0.001482645],"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.00001497331,0.000007350407,0.0001589491,0.00002889496,0.000008919092,0.00002689513,0.005754396,0.0001767398,0.00007725337,0.9912893,0.0005419191,0.001914509],"study_design_scores_gemma":[0.000005288997,0.00000296112,0.00006218363,0.00001730384,0.000004163291,0.00001704657,0.0008930781,0.0002190564,0.00006612459,0.9957836,0.002923497,0.000005653405],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1628553,0.007271535,0.2431326,0.1526229,0.0009653553,0.00009333474,0.0002867971,0.0003001935,0.4324719],"genre_scores_gemma":[0.9819462,0.0005290736,0.01118641,0.001663854,0.0002532932,0.00006472193,0.00004002032,0.0001227119,0.004193633],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01090791,"threshold_uncertainty_score":0.05768728,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2135096857","doi":"10.1007/s11787-014-0099-z","title":"Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\\to^{t}}$$ L T → t for Implicational Ticket Entailment","year":2014,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Sequent; Sequent calculus; Natural deduction; Combinatory logic; Decidability; Mathematical proof; Mathematics; Cut-elimination theorem; Simple (philosophy); Calculus (dental); Logical consequence; Curry–Howard correspondence; Discrete mathematics; Algorithm; Computer science; Proof calculus; Programming language; Artificial intelligence; Philosophy","authors":[{"name":"Katalin Bimbó","is_ca":true},{"name":"J. Michael Dunn","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03278948530742005,"gpt":0.2732889310425868,"spread":0.2404994457351668,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002693521,0.0005945366,0.0009222048,0.002331253,0.001611855,0.004820419,0.001876042,0.00112497,0.009719683],"category_scores_gemma":[0.01398749,0.00169382,0.002318235,0.002131522,0.001882662,0.006844409,0.004905331,0.002803425,0.003083195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001201792,"about_ca_system_score_gemma":0.002206149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002839256,"about_ca_topic_score_gemma":0.005399907,"domain_scores_codex":[0.9972783,0.0005356916,0.0002444302,0.000516518,0.0009621226,0.0004629437],"domain_scores_gemma":[0.9944419,0.002685733,0.0003251011,0.001445592,0.0008351258,0.0002665188],"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.0007234255,0.0002748625,0.005610342,0.0007293448,0.0001359586,0.001056846,0.002472031,0.01200429,0.02540811,0.6739388,0.007779234,0.2698668],"study_design_scores_gemma":[0.00008191182,0.00007683566,0.001378064,0.0001499048,0.0001894276,0.0003568338,0.00068746,0.07840572,0.03607256,0.862851,0.01965716,0.0000931332],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0565091,0.0002252449,0.9289407,0.0005534737,0.00009563647,0.0001677112,0.0007130709,0.004615483,0.008179496],"genre_scores_gemma":[0.3818716,0.0002763379,0.6071045,0.0001867023,0.00007494673,0.0001189973,0.00184533,0.001781469,0.006740029],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009719683,"threshold_uncertainty_score":0.03251553,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2073500481","doi":"10.1007/s11787-011-0028-3","title":"Curry’s Formalism as Structuralism","year":2011,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":2,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Lethbridge","funders":"","keywords":"Curry; Formalism (music); Epistemology; Structuralism (philosophy of science); Philosophy; Computer science; Literature; Art","authors":[{"name":"Jonathan P. Seldin","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0715885690738742,"gpt":0.2832405424332476,"spread":0.2116519733593734,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002516764,0.001118067,0.0013792,0.003691085,0.003411858,0.00501929,0.002245393,0.003054208,0.01204168],"category_scores_gemma":[0.003879727,0.00130903,0.002137904,0.003485489,0.01364018,0.01702034,0.004100285,0.007178398,0.002057076],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003803143,"about_ca_system_score_gemma":0.001794822,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003411796,"about_ca_topic_score_gemma":0.002654974,"domain_scores_codex":[0.9982268,0.0006519282,0.0001135982,0.0003949217,0.0004228088,0.0001898732],"domain_scores_gemma":[0.9987512,0.0006588181,0.00006599093,0.0003034214,0.0001618748,0.00005865556],"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.000001582855,0.000001068685,0.000003827884,0.000007253401,0.000001691518,0.000003620427,0.00005776641,0.0000389743,0.0000177266,0.9987198,0.0004491511,0.000697625],"study_design_scores_gemma":[0.000004463143,0.000001573995,0.00001165892,0.000007244348,0.000003772718,0.000009862428,0.00001275424,0.0002031952,0.00005449826,0.9919144,0.007773549,0.00000312572],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01675717,0.00503551,0.4190358,0.02543329,0.001687199,0.0001231023,0.0005867156,0.0006440957,0.5306972],"genre_scores_gemma":[0.7536163,0.004381229,0.1590599,0.004691928,0.002882995,0.000496373,0.0004160949,0.000841787,0.07361348],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01204168,"threshold_uncertainty_score":0.04028344,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1981966241","doi":"10.1007/s11787-013-0084-y","title":"A Reduction Theorem for the Kripke–Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra","year":2013,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary; The King's University; Western University","funders":"University of Calgary","keywords":"Mathematics; Forcing (mathematics); Kripke semantics; Order (exchange); Algebra over a field; Combinatorics; Pure mathematics; Intermediate logic; Mathematical analysis; Description logic","authors":[{"name":"Imants Barušs","is_ca":true},{"name":"Robert Woodrow","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02164358199467545,"gpt":0.2343952923612789,"spread":0.2127517103666034,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002865909,0.001297883,0.002138637,0.002158615,0.004086088,0.003751012,0.002739538,0.002882708,0.009031215],"category_scores_gemma":[0.004833037,0.001326462,0.005682888,0.00184599,0.008954824,0.01843517,0.01114916,0.01021346,0.002171183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001952475,"about_ca_system_score_gemma":0.001538208,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002708249,"about_ca_topic_score_gemma":0.001708416,"domain_scores_codex":[0.9969249,0.0004791568,0.0002431446,0.001109897,0.0006607957,0.0005821358],"domain_scores_gemma":[0.9974483,0.001030809,0.00008719749,0.0006881992,0.0004945519,0.0002509759],"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.00003592471,0.0000214259,0.00009179323,0.00004659989,0.00002386576,0.0000661419,0.0002761954,0.0003799225,0.0008862984,0.9930055,0.00165578,0.003510647],"study_design_scores_gemma":[0.00002724412,0.00001469503,0.000113314,0.00001727647,0.00003309788,0.0001029756,0.00007058356,0.001665501,0.0008965486,0.9909875,0.006042145,0.00002911972],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05603781,0.001393683,0.7815481,0.009050178,0.002007425,0.0001791898,0.0009900976,0.001591726,0.1472017],"genre_scores_gemma":[0.8065155,0.001296205,0.145192,0.004410784,0.001611066,0.0005505785,0.001228914,0.001531073,0.03766393],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009031215,"threshold_uncertainty_score":0.0302124,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4416215139","doi":"10.1007/s11787-025-00404-3","title":"Defining without Essences: Ibn Taymiyya’s Critique of Aristotelian Logic","year":2025,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Medieval and Classical Philosophy","field":"Arts and Humanities","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University Canada West","funders":"","keywords":"Metaphysics; Meaning (existential); Dialectic; Focus (optics); Power (physics)","authors":[{"name":"Sherif S. Salem","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02482835827912202,"gpt":0.2568095182743967,"spread":0.2319811599952747,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00271439,0.0005282228,0.0007913192,0.001434581,0.004830152,0.00632243,0.001077572,0.0032277,0.003651182],"category_scores_gemma":[0.00472259,0.0004292734,0.0006744739,0.001215838,0.02294864,0.009092071,0.003593377,0.006605229,0.0007321788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003962168,"about_ca_system_score_gemma":0.002768505,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004061052,"about_ca_topic_score_gemma":0.003849722,"domain_scores_codex":[0.998512,0.000780959,0.00005760592,0.0002451407,0.0002294912,0.000174844],"domain_scores_gemma":[0.9989482,0.0006310884,0.00006992555,0.0001342528,0.0001644667,0.00005215206],"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.000005739612,0.000003347778,0.00002979792,0.000006607816,0.000001581561,0.000009954504,0.0007442171,0.00004720284,0.00001927862,0.9971871,0.001223051,0.0007220863],"study_design_scores_gemma":[0.000009272536,0.000003914043,0.00005946152,0.00001975824,0.000003568613,0.00001752317,0.0003156537,0.0001607752,0.00005142183,0.9819063,0.01744691,0.000005493418],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.04744171,0.01906477,0.0887651,0.1200626,0.003128049,0.0000778473,0.000256912,0.0002044095,0.7209986],"genre_scores_gemma":[0.9177998,0.002736248,0.01535388,0.01266615,0.001416665,0.0001345969,0.00007480654,0.0002042248,0.04961367],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00632243,"threshold_uncertainty_score":0.02874774,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4415695681","doi":"10.1007/s11787-025-00380-8","title":"Understanding Money as a Communication Technology","year":2025,"lang":"en","type":"article","venue":"Logica Universalis","topic":"National Identity and Symbolism","field":"Social Sciences","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University Canada West","funders":"","keywords":"Order (exchange); Currency; Digital currency; Moment (physics); Financial transaction; Information and Communications Technology","authors":[{"name":"Houman Mehrabian","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08552511407630911,"gpt":0.3346150299020755,"spread":0.2490899158257664,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002221986,0.0003837819,0.0004592341,0.002103986,0.003549514,0.01099435,0.001059643,0.0028987,0.007518704],"category_scores_gemma":[0.004480144,0.0002798652,0.0004067312,0.001927738,0.02791099,0.01948139,0.00339145,0.003042107,0.0006099659],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003496984,"about_ca_system_score_gemma":0.00232889,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002656215,"about_ca_topic_score_gemma":0.00166012,"domain_scores_codex":[0.9979283,0.001289419,0.00007168987,0.0002299714,0.0002551452,0.0002254388],"domain_scores_gemma":[0.9967476,0.002124713,0.0003638757,0.0003345031,0.0002566531,0.0001727403],"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.000001853867,0.000002307107,0.00004569058,0.000005844485,0.000001025508,0.0000143203,0.0008566073,0.00006711401,0.000020465,0.9981923,0.0001154853,0.0006772003],"study_design_scores_gemma":[0.000002782763,0.000003143843,0.00008026313,0.0000152801,0.000002744775,0.00002963879,0.001181954,0.0003483618,0.00006290175,0.9936255,0.004644087,0.000003291868],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1347655,0.004078404,0.1004845,0.04634671,0.0004628112,0.00004743152,0.0001639641,0.0001093239,0.7135414],"genre_scores_gemma":[0.9835829,0.0006748905,0.005276214,0.0004618897,0.0001316625,0.0000423489,0.00002396485,0.00002556135,0.009780565],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01099435,"threshold_uncertainty_score":0.02537256,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}