Negational Fragment of Intuitionistic Control Logic Anna Glenszczyk OriginalPaper Open access 26 March 2015 Pages: 1101 - 1121
Decidability of Logics Based on an Indeterministic Metric Tense Logic Yan ZhangKai Li OriginalPaper 09 May 2015 Pages: 1123 - 1162
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL Matteo BianchiFranco Montagna OriginalPaper 16 May 2015 Pages: 1163 - 1181
Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL Matteo BianchiFranco Montagna Erratum 09 October 2015 Pages: 1183 - 1183
First-Order Logic in the Medvedev Lattice Rutger Kuyper OriginalPaper Open access 09 May 2015 Pages: 1185 - 1224
Reduction Rules for Intuitionistic \({{\lambda}{\rho}}\)-calculus Ken-etsu FujitaRyo KashimaNaosuke Matsuda OriginalPaper 26 May 2015 Pages: 1225 - 1244
Dual Erotetic Calculi and the Minimal \({\mathsf{LFI}}\) Szymon ChlebowskiDorota Leszczyńska-Jasion OriginalPaper Open access 03 June 2015 Pages: 1245 - 1278
Periodicity and Reflexivity in Revision Sequences Edoardo Rivello OriginalPaper 11 June 2015 Pages: 1279 - 1302
The Faithfulness of Fat: A Proof-Theoretic Proof Fernando FerreiraGilda Ferreira OriginalPaper 18 June 2015 Pages: 1303 - 1311
On the Disjunctive Markov Principle Ulrich Kohlenbach OriginalPaper 20 August 2015 Pages: 1313 - 1317
Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types Adrian Rezuş BookReview 12 October 2015 Pages: 1319 - 1326