{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":18,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":18,"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":"a893618bd9ea","filters":{"venue":"The Review of Symbolic Logic"}},"results":[{"id":"W2171830434","doi":"10.1017/s1755020309990311","title":"PASCH’S PHILOSOPHY OF MATHEMATICS","year":2010,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":35,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Empiricism; Epistemology; Philosophy of mathematics; Philosophy; Mathematics; Calculus (dental); Medicine","authors":[{"name":"Dirk Schlimm","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05850898310340925,"gpt":0.3173999444220414,"spread":0.2588909613186322,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001906568,0.000476034,0.0004589632,0.001520839,0.002673948,0.003530288,0.0007231037,0.001662596,0.003069207],"category_scores_gemma":[0.003584936,0.0002996555,0.0003998229,0.001100865,0.01155578,0.003817041,0.001852454,0.003074835,0.001566672],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004122563,"about_ca_system_score_gemma":0.003035152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002942996,"about_ca_topic_score_gemma":0.001677147,"domain_scores_codex":[0.996605,0.001585925,0.00008618335,0.0005179174,0.001019455,0.0001854738],"domain_scores_gemma":[0.9989213,0.0005722642,0.00009928768,0.0001080268,0.0002284437,0.0000706963],"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.00000373855,0.000003174494,0.00003638096,0.00002494724,0.000001921317,0.00001813496,0.0003836154,0.00008917497,0.0000370612,0.9859679,0.007062816,0.006371182],"study_design_scores_gemma":[0.000006526282,0.00001553328,0.0002078613,0.00005358361,0.000002879329,0.0001330135,0.0001095698,0.0004388294,0.0001464764,0.6200947,0.3787808,0.00001030005],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01197342,0.07238092,0.05455721,0.08428281,0.003397873,0.00007505781,0.000273609,0.0002366255,0.7728224],"genre_scores_gemma":[0.6839348,0.05726173,0.04458595,0.02174455,0.01292192,0.0003941835,0.0002264903,0.0002097149,0.1787207],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004122563,"threshold_uncertainty_score":0.02991146,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2161181571","doi":"10.1017/s175502031300018x","title":"STRUCTURAL EQUATIONS AND BEYOND","year":2013,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":33,"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":"Counterfactual thinking; Causation; Element (criminal law); Modalities; Causal model; Similarity (geometry); Counterfactual conditional; Ranking (information retrieval); Modality (human–computer interaction); Normality; Mathematical economics; Mathematics; Computer science; Epistemology; Artificial intelligence; Philosophy; Image (mathematics); Statistics; Sociology; Law","authors":[{"name":"Franz Huber","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03580201131816115,"gpt":0.2812095219799628,"spread":0.2454075106618016,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004249054,0.0007328622,0.0009630081,0.002488201,0.001163788,0.00294885,0.001786711,0.002568371,0.008753978],"category_scores_gemma":[0.008573662,0.0004664311,0.001325196,0.002241681,0.009967968,0.007841407,0.002098385,0.004119709,0.0009344972],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004381608,"about_ca_system_score_gemma":0.002059643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004882569,"about_ca_topic_score_gemma":0.003805107,"domain_scores_codex":[0.9967822,0.001725441,0.0001465405,0.000450559,0.0007407599,0.0001544986],"domain_scores_gemma":[0.9954002,0.00285558,0.0004085758,0.0005770338,0.0006522639,0.000106383],"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":[5.284689e-7,7.437456e-7,0.00001664895,0.0000118411,0.000003225124,0.000003872866,0.00003888768,0.0005162874,0.000008183266,0.9982904,0.0002784452,0.0008308928],"study_design_scores_gemma":[9.997292e-7,5.326335e-7,0.00001157077,0.00001048531,0.000001107858,0.000003742814,0.000006092709,0.0009368706,0.000005000625,0.9969124,0.002110283,0.000001050415],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01461073,0.02024171,0.7672927,0.04582114,0.0006264147,0.00008547865,0.000938789,0.0003911309,0.1499919],"genre_scores_gemma":[0.8089941,0.01936695,0.1409679,0.006241116,0.001704659,0.000357896,0.0009267477,0.000202184,0.0212384],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008753978,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2142696533","doi":"10.1017/s1755020313000087","title":"STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE","year":2013,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":30,"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":"Completeness (order theory); Real line; Metric space; Mathematics; Space (punctuation); Metric (unit); Pure mathematics; Discrete mathematics; Mathematical analysis; Computer science","authors":[{"name":"Philip Kremer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03361757587215217,"gpt":0.2871383618909682,"spread":0.253520786018816,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003848011,0.0005160376,0.00104014,0.001818256,0.00161265,0.003528887,0.001248036,0.00121402,0.003987541],"category_scores_gemma":[0.005672622,0.0004765911,0.001732659,0.00195859,0.006123547,0.007652584,0.00430153,0.002538661,0.0005494671],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001998633,"about_ca_system_score_gemma":0.002122686,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004079628,"about_ca_topic_score_gemma":0.002803997,"domain_scores_codex":[0.9959383,0.001496213,0.0004581743,0.0006727884,0.001113253,0.0003212218],"domain_scores_gemma":[0.99293,0.003341069,0.0004695507,0.0008959986,0.001974587,0.0003887818],"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.00004337752,0.00001557085,0.0006194324,0.0001778806,0.00004792181,0.00009283748,0.000481311,0.002803386,0.0009027436,0.987519,0.0008610163,0.006435604],"study_design_scores_gemma":[0.00001869903,0.00004131683,0.0006383054,0.00004331403,0.00002208108,0.0001201014,0.0003454984,0.01042378,0.002084959,0.9764472,0.009793287,0.00002140457],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.371387,0.003845636,0.5380169,0.00652043,0.0001177329,0.0001536176,0.001073658,0.0003900865,0.07849508],"genre_scores_gemma":[0.9399592,0.001411551,0.05000726,0.0004265361,0.00009519418,0.0001187794,0.001068213,0.00006031305,0.006852919],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004079628,"threshold_uncertainty_score":0.02035052,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2997587333","doi":"10.1017/s1755020320000015","title":"CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI","year":2020,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":22,"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":"Natural deduction; Sequent; Sequent calculus; Cut-elimination theorem; Mathematics; Curry–Howard correspondence; Normalization (sociology); Calculus (dental); Mathematical proof; Discrete mathematics; Proof calculus","authors":[{"name":"Richard Zach","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04934596361689004,"gpt":0.2914881138129571,"spread":0.2421421501960671,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004732994,0.0002898434,0.000916136,0.0023672,0.001085585,0.003254644,0.001487073,0.001067592,0.002392937],"category_scores_gemma":[0.00892412,0.0006559504,0.001206296,0.002143024,0.00485756,0.00487832,0.002101165,0.002964078,0.0007191271],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003216,"about_ca_system_score_gemma":0.00184858,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002119335,"about_ca_topic_score_gemma":0.00200151,"domain_scores_codex":[0.996115,0.00103886,0.000244736,0.0005978231,0.001758903,0.0002447463],"domain_scores_gemma":[0.9961063,0.00203447,0.0002419782,0.000707513,0.0007911885,0.000118411],"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.000009139718,0.000009090082,0.0001627845,0.00007298234,0.00001640685,0.00008008116,0.0001707359,0.001359848,0.0004948011,0.9761938,0.000862708,0.0205677],"study_design_scores_gemma":[0.000009719455,0.000004749777,0.0002235172,0.00004374713,0.00001727155,0.0001348846,0.00002168498,0.01075368,0.001403735,0.9739597,0.01341316,0.00001408554],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05148958,0.01346934,0.8805006,0.002582975,0.000428752,0.0001033941,0.0001456105,0.0008361076,0.05044368],"genre_scores_gemma":[0.6406659,0.0053143,0.340208,0.001102923,0.0005535358,0.0001760412,0.0002913289,0.000282586,0.01140547],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004732994,"threshold_uncertainty_score":0.02503079,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2331774924","doi":"10.1017/s1755020312000147","title":"CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FOR<i>ABSTRACT</i>MATHEMATICS","year":2012,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":12,"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":"Argument (complex analysis); Context (archaeology); Categorical variable; Epistemology; Mathematics; Philosophy; Biology; Statistics","authors":[{"name":"Jean‐Pierre Marquis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1516410242589306,"gpt":0.3798600361578378,"spread":0.2282190118989072,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005263683,0.0003810286,0.0008036221,0.003119804,0.001539835,0.006053036,0.001536841,0.002928551,0.008407911],"category_scores_gemma":[0.007505983,0.0004035612,0.0008003394,0.00179103,0.01490281,0.01330197,0.002492473,0.006193281,0.001923038],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003934516,"about_ca_system_score_gemma":0.002606985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00166931,"about_ca_topic_score_gemma":0.001568197,"domain_scores_codex":[0.9977201,0.001268352,0.0001235345,0.0002013968,0.0005188421,0.0001678155],"domain_scores_gemma":[0.9933606,0.004325364,0.000351581,0.0008884953,0.0007502802,0.000323662],"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.00000225649,0.000001574558,0.00002357406,0.00003721396,0.0000021205,0.00000699051,0.00005650141,0.000091312,0.00002951054,0.9954892,0.001732683,0.002527113],"study_design_scores_gemma":[0.000002367238,0.000003125488,0.00004439502,0.00006968895,0.000001310411,0.00001401697,0.00004784839,0.0002701057,0.00003215794,0.9783085,0.02120318,0.000003308078],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01578494,0.2240809,0.3356492,0.2011124,0.007139733,0.0000454936,0.0004055464,0.0005903504,0.2151916],"genre_scores_gemma":[0.78208,0.08731122,0.08033442,0.01649137,0.009798236,0.0001862323,0.0004877373,0.0002931833,0.02301763],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008407911,"threshold_uncertainty_score":0.02854705,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2024618947","doi":"10.1017/s1755020309090145","title":"RELEVANCE LOGICS AND RELATION ALGEBRAS","year":2009,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":12,"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":"Soundness; Relevance (law); Relation (database); Mathematics; Completeness (order theory); Semantics (computer science); Fragment (logic); Algebra over a field; Discrete mathematics; Computer science; Pure mathematics; Algorithm; Programming language; Data mining","authors":[{"name":"Katalin Bimbó","is_ca":true},{"name":"J. Michael Dunn","is_ca":false},{"name":"Roger D. Maddux","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01816040036287025,"gpt":0.2665663432064008,"spread":0.2484059428435305,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00386709,0.000505274,0.0007395952,0.002358208,0.001832799,0.005392485,0.001153266,0.001567037,0.003966914],"category_scores_gemma":[0.006997189,0.0005013946,0.001161375,0.002421165,0.01009275,0.011796,0.002236024,0.003068562,0.001016458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003300516,"about_ca_system_score_gemma":0.002192261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003788118,"about_ca_topic_score_gemma":0.002224731,"domain_scores_codex":[0.9954317,0.00165395,0.0003574033,0.0008869696,0.001409926,0.0002600179],"domain_scores_gemma":[0.9966449,0.002015535,0.0002619416,0.0004815813,0.0004771756,0.000118822],"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.000003352175,0.000003196326,0.00002794877,0.00003613409,0.000004455894,0.00002691644,0.0001193924,0.0004765402,0.0001282762,0.995014,0.0003368733,0.003822874],"study_design_scores_gemma":[0.000003364433,0.000002564026,0.00002224411,0.00001377849,0.000002770681,0.00003058057,0.00002733219,0.000989844,0.0001033713,0.9922766,0.006523695,0.000003741824],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03179862,0.03574018,0.7722006,0.01006954,0.0006256849,0.0002195297,0.0005492109,0.0006996601,0.148097],"genre_scores_gemma":[0.7287582,0.01585199,0.2251416,0.002875749,0.001935283,0.0003318453,0.0007579081,0.0001421916,0.02420534],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005392485,"threshold_uncertainty_score":0.02394706,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3043284895","doi":"10.1017/s1755020321000216","title":"QUANTIFIED MODAL RELEVANT LOGICS","year":2021,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":11,"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":"Modal; Normal modal logic; Semantics (computer science); Converse; Accessibility relation; Modal logic; Kripke semantics; Computer science; S5; Algorithm; Calculus (dental); Mathematics; Theoretical computer science; Pure mathematics; Description logic; Multimodal logic; Programming language; Medicine; Geometry; Chemistry","authors":[{"name":"Nicholas Ferenz","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04842376448480241,"gpt":0.2930851429104004,"spread":0.244661378425598,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003384269,0.0006181037,0.0005792329,0.003082279,0.001449927,0.003785046,0.001861793,0.001293697,0.004180691],"category_scores_gemma":[0.004378926,0.0004588261,0.001169687,0.002240027,0.005448525,0.006814715,0.002408818,0.0032285,0.0007107828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003977051,"about_ca_system_score_gemma":0.001714878,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002609818,"about_ca_topic_score_gemma":0.001927438,"domain_scores_codex":[0.9967228,0.001217377,0.0002170841,0.0004561175,0.00116186,0.0002248133],"domain_scores_gemma":[0.9980608,0.0007275126,0.0001706042,0.0002826621,0.0006505957,0.0001078231],"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.000003124457,0.00000314823,0.00001031655,0.00002280061,0.000003032805,0.00001551732,0.00006849143,0.0003060614,0.0001590587,0.9971218,0.0003532926,0.001933385],"study_design_scores_gemma":[0.000007991018,0.000004553718,0.00003509187,0.00003603389,0.000008766604,0.00003679326,0.00004702942,0.003662358,0.0003886301,0.9827234,0.01304122,0.000008271693],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01813343,0.004152053,0.8403633,0.006858998,0.000601655,0.0001835968,0.0004647798,0.0006955244,0.1285468],"genre_scores_gemma":[0.7005115,0.003984548,0.2696981,0.004147425,0.000952997,0.0004069629,0.0006450856,0.0001980715,0.01945542],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004180691,"threshold_uncertainty_score":0.02885562,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2331073395","doi":"10.1017/s1755020314000021","title":"QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE","year":2014,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"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":"Modal logic; Mathematics; Multimodal logic; Linear subspace; Normal modal logic; Class (philosophy); Real line; Line (geometry); Topological space; S5; Dynamic logic (digital electronics); Topology (electrical circuits); Modal; Pure mathematics; Discrete mathematics; Computer science; Theoretical computer science; Artificial intelligence; Combinatorics; Physics; Description logic","authors":[{"name":"Philip Kremer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04627299118960957,"gpt":0.288253351698684,"spread":0.2419803605090745,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002327223,0.0004892575,0.0007555309,0.002206347,0.0008850119,0.003965672,0.0008709054,0.0008149403,0.003448533],"category_scores_gemma":[0.0028314,0.0003103713,0.0008616048,0.002568391,0.006803551,0.006281205,0.001818125,0.002041123,0.0005198627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002746437,"about_ca_system_score_gemma":0.001300933,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004357584,"about_ca_topic_score_gemma":0.00249081,"domain_scores_codex":[0.9975763,0.00109866,0.0001543758,0.0003009157,0.0007039267,0.0001658586],"domain_scores_gemma":[0.998053,0.0008608911,0.0001883298,0.000190375,0.0006179113,0.00008952564],"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.00001102662,0.000003459265,0.00003898985,0.00004376991,0.000009042904,0.00003264625,0.00009571713,0.001435411,0.0002030636,0.9952402,0.0004268225,0.002459894],"study_design_scores_gemma":[0.00001230326,0.000007115002,0.00008573278,0.00003405343,0.000007427827,0.00002464362,0.00007354265,0.005572258,0.0003840949,0.9865029,0.007287444,0.000008396051],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1628334,0.01758602,0.6058636,0.0109431,0.0003190897,0.0001321684,0.001116668,0.0006020474,0.200604],"genre_scores_gemma":[0.9486667,0.004315537,0.03726162,0.0007638683,0.0002959666,0.00008374891,0.0004829758,0.00004902289,0.008080447],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004357584,"threshold_uncertainty_score":0.01992685,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2893109491","doi":"10.1017/s1755020318000229","title":"COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS","year":2018,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"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":"Propositional variable; Axiom; Intermediate logic; Intuitionistic logic; Well-formed formula; Modal logic; Propositional calculus; Mathematics; S5; Autoepistemic logic; Zeroth-order logic; Semantics (computer science); Discrete mathematics; Dynamic logic (digital electronics); T-norm fuzzy logics; Normal modal logic; Modal; Multimodal logic; Computer science; Theoretical computer science; Description logic; Artificial intelligence; Programming language; Fuzzy logic","authors":[{"name":"Philip Kremer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02565975656490084,"gpt":0.2890374436040479,"spread":0.263377687039147,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004844591,0.0006150429,0.001134303,0.002308876,0.001744272,0.005267896,0.001897611,0.001791398,0.00294228],"category_scores_gemma":[0.00603058,0.000655556,0.001826038,0.002201777,0.009074208,0.00900379,0.004286052,0.002802648,0.0004255627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002652817,"about_ca_system_score_gemma":0.003020833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005744279,"about_ca_topic_score_gemma":0.003140784,"domain_scores_codex":[0.995868,0.001589821,0.0003167343,0.000598444,0.001237446,0.0003895163],"domain_scores_gemma":[0.9936383,0.003662174,0.0005339737,0.0009251349,0.00101496,0.0002253923],"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.00004942824,0.00001574342,0.0002559296,0.0001753045,0.00005128883,0.00008060536,0.0003168143,0.003091454,0.0005863044,0.985073,0.000817693,0.009486508],"study_design_scores_gemma":[0.00002580193,0.00001907711,0.0002254027,0.00003213725,0.00002144214,0.00006494305,0.0001271563,0.007591591,0.001112417,0.9855922,0.005169307,0.00001855122],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3400123,0.01043128,0.5734304,0.006758033,0.0004190118,0.0001399165,0.0009550166,0.001025938,0.06682812],"genre_scores_gemma":[0.9353204,0.002145903,0.05577987,0.0008451259,0.0001971152,0.0001082203,0.0007738316,0.00007084407,0.004758667],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005744279,"threshold_uncertainty_score":0.02562094,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3040569033","doi":"10.1017/s1755020319000522","title":"KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS","year":2020,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Epistemology, Ethics, and Metaphysics","field":"Arts and Humanities","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 Saskatchewan","funders":"Agence Nationale de la Recherche","keywords":"Internalism and externalism; Externalism; Axiom; Epistemology; Argument (complex analysis); Possession (linguistics); Axiomatic system; Philosophy; Mathematics; Linguistics","authors":[{"name":"Paul Égré","is_ca":false},{"name":"Paul Marty","is_ca":false},{"name":"Bryan Renne","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1531479900520385,"gpt":0.3214384787004625,"spread":0.168290488648424,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008132516,0.0005043218,0.001001931,0.003078942,0.002094873,0.006997332,0.001375703,0.004495086,0.003963317],"category_scores_gemma":[0.0148869,0.0004610628,0.00102043,0.002632769,0.03671173,0.0125585,0.003533978,0.004759991,0.0005805928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004122396,"about_ca_system_score_gemma":0.002241794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002073452,"about_ca_topic_score_gemma":0.001401131,"domain_scores_codex":[0.991707,0.004908537,0.0005323628,0.0008508242,0.001575682,0.0004255624],"domain_scores_gemma":[0.9855285,0.01017814,0.001230982,0.00119336,0.001499081,0.0003698575],"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.000005376143,0.000003408919,0.00008751823,0.00004764055,0.000007867445,0.00003187582,0.0002530249,0.0001993285,0.0000423854,0.9971924,0.0003277075,0.001801531],"study_design_scores_gemma":[0.000003172685,0.000002841233,0.00006894518,0.00005443598,0.000004825362,0.00002587126,0.0001018966,0.0004944626,0.00004910533,0.997111,0.002078935,0.000004412808],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0928166,0.04933453,0.5077395,0.1130213,0.001031305,0.0001048683,0.000438392,0.0003577209,0.2351557],"genre_scores_gemma":[0.9757702,0.003610876,0.01461418,0.002887254,0.0004952577,0.00006264338,0.0001094147,0.00003626067,0.002413899],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008132516,"threshold_uncertainty_score":0.0430094,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3043920080","doi":"10.1017/s1755020320000180","title":"CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D","year":2020,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"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":"Modal; Completeness (order theory); Mathematical proof; Accessibility relation; Interpretation (philosophy); Normal modal logic; Modular design; Mathematics; Algebra over a field; Relation (database); Calculus (dental); Pure mathematics; Modal logic; Computer science; Discrete mathematics; Mathematical analysis; Data mining; Geometry; Programming language","authors":[{"name":"Samara Burns","is_ca":false},{"name":"Richard Zach","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08285298046001914,"gpt":0.2929221384889657,"spread":0.2100691580289465,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005493248,0.0004015495,0.0008709631,0.0021588,0.001829477,0.003593203,0.001602193,0.001515345,0.002744765],"category_scores_gemma":[0.0094183,0.0007117182,0.002680061,0.0019427,0.006376022,0.005989365,0.004071269,0.00374987,0.0004583974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003000298,"about_ca_system_score_gemma":0.002257779,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002878674,"about_ca_topic_score_gemma":0.002156898,"domain_scores_codex":[0.9974367,0.0007011932,0.0001894362,0.0004739265,0.0009533771,0.000245421],"domain_scores_gemma":[0.990872,0.006277879,0.0003824449,0.001050256,0.001094577,0.000322773],"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.00001523171,0.00001473086,0.000181753,0.00007109062,0.00001861132,0.00006049548,0.000205944,0.002112672,0.0006702732,0.9893686,0.0004826414,0.006798024],"study_design_scores_gemma":[0.00001943034,0.000008902708,0.0001276475,0.00002485809,0.00001048545,0.00005973295,0.00003662188,0.01966252,0.001245714,0.9765316,0.002257519,0.00001498594],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1034048,0.002517196,0.8678528,0.002771427,0.0001224074,0.0001349443,0.0002476867,0.0004966618,0.02245201],"genre_scores_gemma":[0.7341335,0.001193962,0.2577682,0.0007467187,0.0001583099,0.0002679356,0.0003095283,0.0001353421,0.005286544],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005493248,"threshold_uncertainty_score":0.02905142,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2483635500","doi":"10.1017/s1755020316000204","title":"ADDENDA ET CORRIGENDA TO “THE ARITHMETIC OF THE EVEN AND THE ODD”","year":2016,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Arithmetic; Irrational number; Mathematics; Integer (computer science); Axiom; Square root; Square (algebra); Arithmetic function; Discrete mathematics; Computer science; Geometry","authors":[{"name":"Stephen Menn","is_ca":true},{"name":"Victor Pambuccian","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0486117278775962,"gpt":0.3171623745932021,"spread":0.2685506467156059,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003964166,0.0008430973,0.0008143216,0.002224276,0.001877777,0.00476668,0.001553249,0.002529314,0.01221951],"category_scores_gemma":[0.02355554,0.0003764365,0.0007482443,0.00138257,0.009839881,0.005149954,0.0025695,0.006428566,0.005231481],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003757891,"about_ca_system_score_gemma":0.002365202,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005159684,"about_ca_topic_score_gemma":0.004446912,"domain_scores_codex":[0.9953093,0.001873881,0.000274319,0.0008358518,0.001389569,0.0003171616],"domain_scores_gemma":[0.989778,0.004634041,0.000587819,0.001177847,0.003532,0.000290236],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00007700727,0.00001339756,0.0002683929,0.0006201511,0.00003339049,0.000227767,0.0006362091,0.0003361015,0.0002786736,0.5098926,0.4441117,0.04350458],"study_design_scores_gemma":[0.00001028265,0.00001353158,0.0001745234,0.0002950295,0.0000186753,0.0001676235,0.0001129366,0.0002276034,0.0003335689,0.05192724,0.9467016,0.00001749899],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"editorial","genre_gemma":"other","genre_scores_codex":[0.003747056,0.1148108,0.01843106,0.2553341,0.5088911,0.00002509405,0.000357772,0.0006027374,0.09780028],"genre_scores_gemma":[0.2151677,0.1081028,0.0155819,0.1125366,0.3728294,0.0001314475,0.0005378479,0.001220121,0.1738922],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01221951,"threshold_uncertainty_score":0.04087836,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2899830276","doi":"10.1017/s1755020317000302","title":"TWO SYLLOGISMS IN THE<i>MOZI</i>: CHINESE LOGIC AND LANGUAGE","year":2018,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Syntax, Semantics, Linguistic Variation","field":"Arts and Humanities","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":"Plural; Syllogism; Argument (complex analysis); Linguistics; Ambiguity; Distributive property; Philosophy; Mohism; Predicate (mathematical logic); Epistemology; Mathematics; Computer science; Pure mathematics","authors":[{"name":"Byeong-uk Yi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03190468723867299,"gpt":0.3020528265774806,"spread":0.2701481393388077,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009856406,0.0002413743,0.0002857993,0.001481998,0.001797198,0.003218289,0.0004488225,0.0006105411,0.001883523],"category_scores_gemma":[0.001122348,0.0001648295,0.0002746114,0.001971451,0.01235075,0.002219715,0.0009257531,0.001121505,0.0001564543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005284286,"about_ca_system_score_gemma":0.002614135,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02125674,"about_ca_topic_score_gemma":0.01527758,"domain_scores_codex":[0.9993774,0.0002870669,0.0000303597,0.00007960742,0.0001536535,0.00007185583],"domain_scores_gemma":[0.9994029,0.000340488,0.00008134188,0.00004117322,0.0001033348,0.00003075409],"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.0000108373,0.000002757488,0.0004555337,0.0000657377,0.000005087488,0.0001196925,0.003457534,0.000184738,0.0004452154,0.9907137,0.0005769538,0.003962195],"study_design_scores_gemma":[0.00004374101,0.00003828323,0.009683936,0.000273191,0.00005485164,0.0003895494,0.005220869,0.008783115,0.003286558,0.8882151,0.08394925,0.00006153095],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4939893,0.01475975,0.04451772,0.02359499,0.000333997,0.0000803825,0.0001865742,0.0001458549,0.4223913],"genre_scores_gemma":[0.9940134,0.0008210653,0.00153742,0.000273294,0.00004885316,0.00001431264,0.00001968943,0.0000105782,0.003261469],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02125674,"threshold_uncertainty_score":0.04226601,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4411634444","doi":"10.1017/s1755020325100713","title":"FAILURE OF BETH’S THEOREM IN RELEVANCE LOGICS","year":2025,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","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 Toronto","funders":"","keywords":"Relevance (law); Mathematics; Calculus (dental); Mathematical economics; Discrete mathematics; Political science; Medicine; Law","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01288777634799244,"gpt":0.2777501249042412,"spread":0.2648623485562488,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009737884,0.0004019662,0.001706285,0.002574015,0.002601366,0.004395248,0.001751145,0.002702613,0.003274693],"category_scores_gemma":[0.02732094,0.000909604,0.001211703,0.001917282,0.0155725,0.01471496,0.003855336,0.004602344,0.0005429508],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004788779,"about_ca_system_score_gemma":0.001265019,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002823974,"about_ca_topic_score_gemma":0.001303156,"domain_scores_codex":[0.9902993,0.002957176,0.0005164778,0.001958665,0.003383172,0.0008851282],"domain_scores_gemma":[0.9830353,0.01288308,0.0007167389,0.001690165,0.001286314,0.0003883569],"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.00002679104,0.00001214211,0.0002366055,0.00006449223,0.00001644604,0.00009000862,0.0002498876,0.0005053347,0.0002395748,0.9914377,0.0008790056,0.006241914],"study_design_scores_gemma":[0.00001516478,0.00000638351,0.0001222091,0.00001737072,0.000006984434,0.00006047415,0.00003192294,0.001859672,0.0003280073,0.9957951,0.001749249,0.00000744498],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3457432,0.02529462,0.3513618,0.03341547,0.0007495278,0.0001534696,0.0004375191,0.00119953,0.2416448],"genre_scores_gemma":[0.9821241,0.001321158,0.01142583,0.001346835,0.0003825489,0.00004956018,0.0001010737,0.00005467521,0.00319426],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009737884,"threshold_uncertainty_score":0.05149943,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2935729958","doi":"10.1017/s1755020319000170","title":"QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES","year":2019,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","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":"The Scarborough Hospital; University of Toronto","funders":"","keywords":"Metrization theorem; Mathematics; Separable space; Countable set; Cardinality (data modeling); Constant (computer programming); Space (punctuation); Domain (mathematical analysis); Zero (linguistics); Real line; Zero-dimensional space; Discrete mathematics; Pure mathematics; Topological space; Topological vector space; Mathematical analysis; Computer science","authors":[{"name":"Philip Kremer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02507924901628359,"gpt":0.2841647421312685,"spread":0.2590854931149849,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002749244,0.0004444128,0.0006208236,0.001968074,0.0008803533,0.003505832,0.0009774007,0.0007309863,0.00139611],"category_scores_gemma":[0.003787789,0.0003880315,0.0007731667,0.002411859,0.006379235,0.007096587,0.002229217,0.002492271,0.00020404],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00321897,"about_ca_system_score_gemma":0.001300134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002712918,"about_ca_topic_score_gemma":0.001714963,"domain_scores_codex":[0.9975616,0.0008542149,0.0002018307,0.0003518137,0.0008538289,0.0001767507],"domain_scores_gemma":[0.997279,0.001523036,0.0002737527,0.0002626808,0.0005129551,0.0001485234],"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.00001268996,0.000006932277,0.0001221549,0.00008794855,0.00001668234,0.00003313765,0.0001724304,0.001497638,0.0003370671,0.9941435,0.0002887181,0.00328113],"study_design_scores_gemma":[0.00001189448,0.00001070306,0.0002712537,0.00004878761,0.00001263494,0.00004623358,0.00007566743,0.005482164,0.0005539438,0.9887925,0.004683517,0.00001073056],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2736943,0.02277843,0.5921494,0.01040124,0.000273872,0.00009624685,0.0007539708,0.0003600769,0.09949242],"genre_scores_gemma":[0.9553256,0.003569282,0.03584909,0.0006048689,0.0002395742,0.00005661066,0.0002648057,0.00002381547,0.004066338],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003505832,"threshold_uncertainty_score":0.02335531,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4392052380","doi":"10.1017/s1755020324000029","title":"CONCEPTUAL DISTANCE AND ALGEBRAS OF CONCEPTS","year":2024,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Advanced Algebra and Logic","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 Prince Edward Island","funders":"National Research, Development and Innovation Office; Nemzeti Kutatási Fejlesztési és Innovációs Hivatal","keywords":"Computer science; Epistemology; Philosophy","authors":[{"name":"Mohamed Khaled","is_ca":true},{"name":"Gergely Székely","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0198412161129098,"gpt":0.3032918123619987,"spread":0.2834505962490889,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001723722,0.0003207576,0.0005299192,0.002337299,0.001418054,0.003648238,0.001207604,0.001164549,0.003433534],"category_scores_gemma":[0.00623462,0.0002188877,0.0006021615,0.00169669,0.005709801,0.00813309,0.002942344,0.002321952,0.0004954009],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001984122,"about_ca_system_score_gemma":0.0007265572,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008340413,"about_ca_topic_score_gemma":0.0004163278,"domain_scores_codex":[0.9969677,0.001112646,0.0001770179,0.0005826179,0.0009827807,0.0001773322],"domain_scores_gemma":[0.9960924,0.001947647,0.0005138325,0.0004653854,0.0006951918,0.0002855759],"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.000006568113,0.000003508456,0.0001113059,0.00002506124,0.000007766011,0.00001863204,0.0001134411,0.0004713409,0.0002736245,0.9959407,0.0001274153,0.002900515],"study_design_scores_gemma":[0.000003433393,0.000008575998,0.0001865299,0.00001269241,0.00000442294,0.00005163261,0.00005968835,0.001436097,0.0002114508,0.9953104,0.002710258,0.00000496901],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3372492,0.01349646,0.5012105,0.006447842,0.0005382251,0.0001145558,0.000455139,0.0002900179,0.1401981],"genre_scores_gemma":[0.9694347,0.001573813,0.02547857,0.0003898573,0.0001652494,0.00005743337,0.0002198836,0.00002552774,0.002654891],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003648238,"threshold_uncertainty_score":0.01439583,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2011932408","doi":"10.1017/s1755020308080131","title":"MATHEMATICAL METHODS IN PHILOSOPHY EDITORS’ INTRODUCTION","year":2008,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","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 Calgary; University of Toronto","funders":"","keywords":"Philosophy of mathematics; Epistemology; Philosophy of logic; Philosophy of computer science; Mathematical practice; Mathematical logic; Dedekind cut; Philosophical logic; Foundations of mathematics; Philosophy; Philosophy of language; Modal logic; Computer science; Mathematics; Modal; Western philosophy; Pure mathematics; Algorithm; Metaphysics","authors":[{"name":"Aldo Antonelli","is_ca":false},{"name":"Alasdair Urquhart","is_ca":true},{"name":"Richard Zach","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04543032424849617,"gpt":0.3364406164002181,"spread":0.2910102921517219,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004628272,0.001669633,0.00149478,0.003897734,0.001107591,0.004353285,0.001992067,0.002524543,0.04906576],"category_scores_gemma":[0.01571431,0.0006939179,0.001656054,0.002622866,0.003754149,0.004802334,0.002176896,0.007140449,0.01600413],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002127229,"about_ca_system_score_gemma":0.001785148,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000640941,"about_ca_topic_score_gemma":0.0008627726,"domain_scores_codex":[0.995385,0.001466344,0.0003700932,0.0007106056,0.001853157,0.0002148955],"domain_scores_gemma":[0.9879757,0.007789846,0.0005855892,0.0008840843,0.002278285,0.0004865604],"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.00002986492,0.00003250487,0.0002281497,0.0009660188,0.00005605487,0.0001130354,0.0002680433,0.0004173985,0.0002566967,0.1460113,0.7781603,0.07346079],"study_design_scores_gemma":[0.000008499254,0.00002165894,0.0002962812,0.0002749312,0.00001228204,0.0001832338,0.00003820824,0.0002640664,0.00006832076,0.05867336,0.9401456,0.00001350513],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.001133185,0.2649041,0.04769908,0.08842497,0.4569404,0.0001594613,0.001411214,0.001199015,0.1381287],"genre_scores_gemma":[0.03242725,0.1752216,0.0412405,0.03926506,0.4947785,0.0004073647,0.001394481,0.001512481,0.2137526],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.04906576,"threshold_uncertainty_score":0.1641413,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2914643333","doi":"10.1017/s1755020319000054","title":"BUNDER’S PARADOX","year":2019,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","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 Toronto","funders":"","keywords":"Prima facie; Class (philosophy); Resolution (logic); Logical consequence; Consistency (knowledge bases); Calculus (dental); Mathematics; Non-classical logic; Mathematical economics; Computer science; Discrete mathematics; Philosophy; Epistemology; Programming language","authors":[{"name":"Michael Caie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01684499666056861,"gpt":0.2631201973523586,"spread":0.24627520069179,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003774832,0.0003573229,0.0007259274,0.001537093,0.002764262,0.005434412,0.001288608,0.003057157,0.005766498],"category_scores_gemma":[0.007239683,0.0004017058,0.0006176232,0.001218547,0.01091144,0.01052219,0.004172094,0.005429129,0.00102888],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003924985,"about_ca_system_score_gemma":0.002097477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003583007,"about_ca_topic_score_gemma":0.002797018,"domain_scores_codex":[0.9969622,0.001275724,0.0001341297,0.0005082513,0.000905716,0.0002139026],"domain_scores_gemma":[0.9976085,0.001313662,0.0001747554,0.0004151819,0.0003160633,0.00017175],"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.000004266474,0.000003327229,0.00002661226,0.00001420422,0.000002778223,0.00002743596,0.0001806597,0.0001490678,0.00004886261,0.9953269,0.002175706,0.002040192],"study_design_scores_gemma":[0.000005671952,0.000002789692,0.00002963442,0.00003362122,0.000002599121,0.0000539014,0.00008064503,0.0006987508,0.000101005,0.974968,0.02401739,0.000006039766],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0659707,0.03307072,0.1353143,0.1283484,0.002265605,0.00006882614,0.0003412648,0.0005465017,0.6340737],"genre_scores_gemma":[0.8928607,0.01099399,0.02749956,0.01554078,0.001234144,0.0001364325,0.0001551699,0.0002364337,0.05134283],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005766498,"threshold_uncertainty_score":0.02847785,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}