Number of items at this level: **28**.

## Preprint

Asghari, Amir
(2018)
*Equivalence: An Attempt at a History of the Idea.*
[Preprint]

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

Barrett, Thomas William
(2017)
*What Do Symmetries Tell Us About Structure?*
[Preprint]

Carnielli, Walter and Rodrigues, Abilio
(2017)
*An epistemic approach to paraconsistency: a logic of evidence and truth.*
[Preprint]

Darnell, Eamon and Thomas-Bolduc, Aaron
(2018)
*Takeuti's Well-Ordering Proof: Finitistically Fine?*
[Preprint]

Dewar, Neil
(2018)
*On translating between logics.*
[Preprint]

Duzi, Marie
(2017)
*If structured propositions are logical procedures
then how are procedures individuated?*
[Preprint]

Ellerman, David
(2017)
*Logical Information Theory: New Logical Foundations for Information Theory.*
[Preprint]

Ellerman, David
(2017)
*The Quantum Logic of Direct-Sum Decompositions:
The Dual to the Quantum Logic of Subspaces.*
[Preprint]

Gyenis, Zalán
(2018)
*Finite Jeffrey logic is not finitely axiomatizable.*
[Preprint]

Gyenis, Zalán
(2018)
*Standard Bayes logic is not finitely axiomatizable.*
[Preprint]

Gyenis, Zalán and Rédei, Miklós and Brown, William
(2017)
*The modal logic of Bayesian belief revision.*
[Preprint]

Hewitt, Simon
(2017)
*Frege's theorem in plural logic.*
[Preprint]

Hudetz, Laurenz
(2018)
*Definable Categorical Equivalence.*
[Preprint]

Khudairi, Hasen
(2017)
*Modal Ω-Logic: Automata, Neo-Logicism, and Set-theoretic Realism.*
[Preprint]

Lampert, Timm
(2017)
*Turing's Fallacies.*
[Preprint]

Lefever, Koen and Székely, Gergely
(2017)
*Comparing classical and relativistic kinematics in first-order logic.*
[Preprint]

Liu, Yang
(2017)
*Frege's Begriffsschrift is First-order Complete.*
[Preprint]

Rodin, Andrei and Krupski, Vladimir
(2017)
*Knowing-How and the Deduction Theorem.*
[Preprint]

Sarma, Gopal P. and Hay, Nick J.
(2017)
*Robust Computer Algebra, Theorem Proving, and Oracle AI.*
[Preprint]

Steeger, Jeremy
(2017)
*Betting on Quantum Objects.*
[Preprint]

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

de Barros, Acacio and Holik, Federico and Krause, Décio
(2017)
*Contextuality and Indistinguishability.*
[Preprint]

## Published Article or Volume

Acero, Juan José
(2017)
*Alberto Moretti, Eleonora Orlando y Nora Stigol, comp. 2016. A medio siglo de Formas lógicas, realidad y significado de Thomas Moro Simpson.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 32 (3).
pp. 387-389.
ISSN 2171-679X

Bianchi, Andrea
(2017)
*On a logical argument against the naturalizability of reference.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 32 (2).
pp. 145-160.
ISSN 2171-679X

García Murga, Fernando
(2017)
*On Adversative Coordinative Conjunctions.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 32 (3).
pp. 303-327.
ISSN 2171-679X

Parker, Matthew W.
(2003)
*Undecidability in Rn: Riddled Basins, the KAM Tori, and the Stability of the Solar System.*
Philosophy of Science, 70 (2).
pp. 359-382.

Sam, Baron
(2017)
*Mathematical Explanation by Law.*
The British Journal for the Philosophy of Science.

This list was generated on **Wed Jan 24 02:27:21 2018 EST**.