979 | -- | 1010 | Sourav Tarafder, Giorgio Venturi. Independence Proofs in non-Classical Set Theories |
1011 | -- | 1032 | Martín Santiago Moroni, Pedro Sánchez Terraf. The Zhou Ordinal of Labelled Markov Processes over separable Spaces |
1033 | -- | 1052 | Mario Piazza, Gabriele Pulcini, Matteo Tesi. Fractional-Valued Modal Logic |
1053 | -- | 1079 | Giacomo Molinari. Towards the Inevitability of non-Classical Probability |
1080 | -- | 1109 | Sébastien Gandon. Geometry in the sensible World |
1110 | -- | 1119 | Uwe Petersen. On Zardini's Rules for multiplicative Quantification as the Source of contra(di)Ctions |
1120 | -- | 1157 | Greg Restall, Shawn Standefer. Collection Frames for Distributive Substructural Logics |
1158 | -- | 1176 | Sam Roberts, Stewart Shapiro. Hume's Principle, Bad Company, and the Axiom of Choice |
1177 | -- | 1198 | Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John. A Substructural Gentzen Calculus for Orthomodular quantum Logic |
1199 | -- | 1232 | Stephen Mackereth, Jeremy Avigad. Two-Sorted Frege Arithmetic is not conservative |
1233 | -- | 1259 | Asger Törnquist, Jens Mammen. Set Theory and a Model of the Mind in Psychology |
1260 | -- | 1295 | Johannes Korbmacher. Proof Systems for exact Entailment |
1296 | -- | 1311 | Rea Golan. A Simple Sequent System for minimally Inconsistent LP |