A

Avigad, Jeremy (2017) Modularity in Mathematics. [Preprint]

Avigad, Jeremy (2019) Reliability of mathematical inference. [Preprint]

B

Barrett, Thomas William and Halvorson, Hans (2015) Quine's Conjecture on Many-Sorted Logic. [Preprint]

Barton, Neil and Friedman, Sy-David (2019) Set Theory and Structures. [Preprint]

D

Dal Magro, Tamires and García-Pérez, Manuel J. (2019) On Euclidean diagrams and geometrical knowledge. THEORIA. An International Journal for Theory, History and Foundations of Science, 34 (2). pp. 255-276. ISSN 2171-679X

De Haro, Sebastian (2018) The Heuristic Function of Duality. [Preprint]

H

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint]

N

Nefdt, Ryan M. (2018) Inferentialism and Structuralism: A Tale of Two Theories. [Preprint]

S

Sarma, Gopal P. and Hay, Nick J. (2017) Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica, 41 (4). pp. 451-461.

Smith, Jr, James Andrew (2019) Quine on Naturalism, Nominalism, and Philosophy's Place within Science. [Preprint]

T

Teh, Nicholas and Kapulkin, Chris (2018) BJPS Book Review of "Categories for the Working Philosopher". BJPS Book Review of "Categories for the Working Philosopher".

Tsementzis, Dimitris and Halvorson, Hans (2016) Foundations and Philosophy. [Preprint]

V

Veilahti, Antti (2017) Higher Theory and the Three Problems of Physics. [Preprint]

Vorobyev, Oleg Yu (2016) Postulating the theory of experience and chance as a theory of co~events (co~beings). [Preprint]

W

Williamson, Timothy (2018) Supervaluationism and good reasoning. THEORIA. An International Journal for Theory, History and Foundations of Science, 33 (3). pp. 521-537. ISSN 2171-679X