FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS
- 期刊名称The Review of Symbolic Logic
- 作者MCLARTY, COLIN
- 卷第6卷
- 期第1期
- 印刷ISSN1755-0203
- 电子ISSN1755-0211
- 文件大小75.32KB
- 发表时间2013-3
- DOI10.1017/s1755020312000159
- 页码76-86
Habitual size and projective size: The logic of spatial systems in children’s drawings.Lange-Küttner, C. · Developmental Psychology · 2009
Size distribution estimation using dot counting logicB.H. Kaye; R. Murphy · 1971
Reducing logic test set size while preserving fault detectionGarrett Kaminski; Paul Ammann · 2011
Combining linear logic and size types for implicit complexityBaillot, Patrick; Ghyselen, Alexis · Theoretical Computer Science · 2019
Deriving linear size relations for logic programs by abstract interpretationDanny De Schreye; Kristof Verschaetse · 1995
[Studies in Logic and Practical Reasoning] Coherent Systems Volume 2 || SizeSchelechta, Karl · 2004
Formula size games for modal logic and μ-calculusT Hella, Lauri; S Vilander, Miikka · Journal of Logic and Computation · 2019
Semantic interpolationGabbay, Dov M.; Schlechta, Karl · Journal of Applied Non-Classical Logics · 2010
Roadmap for preferential logicsGabbay, Dov M.; Schlechta, Karl · Journal of Applied Non-Classical Logics · 2009
A New Perspective on Nonmonotonic Logics ||Gabbay, Dov M.; Schlechta, Karl · 2016
REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCEGABBAY, DOV M.; SCHLECHTA, KARL · The Review of Symbolic Logic · 2009
[Cognitive Technologies] Conditionals and Modularity in General Logics ||Gabbay, Dov M.; Schlechta, Karl · 2011
CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONSGABBAY, DOV M.; SCHLECHTA, KARL · The Review of Symbolic Logic · 2008
RULES FOR SUBATOMIC DERIVATIONWIĘCKOWSKI, BARTOSZ · The Review of Symbolic Logic · 2011
RELATIVE-SAMENESS COUNTERPART THEORYFARA, DELIA GRAFF · The Review of Symbolic Logic · 2008
TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORYWEBER, ZACH · The Review of Symbolic Logic · 2010
REPLY TO BJØRDALWEBER, ZACH · The Review of Symbolic Logic · 2011
MINIMAL TRUTH AND INTERPRETABILITYFISCHER, MARTIN · The Review of Symbolic Logic · 2009
AGAINST AGAINST NONBEINGPRIEST, GRAHAM · The Review of Symbolic Logic · 2011
THE CLASSICAL CONTINUUM WITHOUT POINTSHELLMAN, GEOFFREY; SHAPIRO, STEWART · The Review of Symbolic Logic · 2013
THE SET-THEORETIC MULTIVERSEHAMKINS, JOEL DAVID · The Review of Symbolic Logic · 2012