Browsing by Subject Logic
Showing results 1 to 12 of 12
| Issue Date | Title | Author(s) |
| 2013 | Aspects of Consequence | Woods, Jack |
| 2024 | Bicubical Directed Type Theory | Weaver, Matthew Zachary |
| 2023 | Foundationally Verified Data Plane Programming | Wang, Qinshi |
| 2015 | Meta-logic in Aristotle's Epistemology | Crager, Adam David |
| 2017 | New Work on the Old World Order | Nichols, Cory |
| 2019 | Relational Possibility | Berntson, Daniel Glenn |
| 2023 | Relational Verification of Distributed Systems via Weak Simulations | Murphy, Timothy Charles |
| 2016 | The Metaphysical Basis of Logic | McSweeney, Michaela McSweeney |
| 2013 | Theories of the Nonsense Word in Medieval England | Kirk, Jordan |
| 2022 | Three Papers on Logic and Contingency | Cohen, Eliya |
| 2016 | Univalence, Foundations and Philosophy: With a Sheaf-Shaped Appendix | Tsementzis, Dimitris |
| 2020 | Writing the Rules of Reason: Notations in Mathematical Logic, 1847–1937 | Dunning, David |