Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics Arun KumarMohua Banerjee OriginalPaper 11 November 2016 Pages: 439 - 469
Distributivity for Upper Continuous and Strongly Atomic Lattices Marcin ŁazarzKrzysztof Siemieńczuk OriginalPaper Open access 31 December 2016 Pages: 471 - 478
A Geometrical Representation of the Basic Laws of Categorial Grammar V. Michele AbrusciClaudia Casadio OriginalPaper 06 January 2017 Pages: 479 - 520
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic Tomáš LávičkaCarles Noguera OriginalPaper 23 December 2016 Pages: 521 - 551
Variants of Gödel’s Ontological Proof in a Natural Deduction Calculus Annika KanckosB. Woltzenlogel Paleo OriginalPaper 12 January 2017 Pages: 553 - 586
Metamathematical Properties of a Constructive Multi-typed Theory Farida Kachapova OriginalPaper 13 February 2017 Pages: 587 - 610
A Proof-Theoretic Bound Extraction Theorem for CAT\((\kappa )\)-Spaces U. KohlenbachA. Nicolae OriginalPaper 06 January 2017 Pages: 611 - 624
Proof Analysis of Peirce’s Alpha System of Graphs Minghui MaAhti-Veikko Pietarinen OriginalPaper 19 December 2016 Pages: 625 - 647
Norihiro Kamide and Heinrich Wansing, Proof Theory of N4-related Paraconsistent Logics. Studies in Logic vol. 54. College Publications, 2015, pp. 414. ISBN-13: 978-1848901674 (paperback) $20.50. Yaroslav Shramko BookReview 04 May 2017 Pages: 665 - 668
William Ewald and Wilfried Sieg (eds.), Michael Hallett (associate ed.), David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm (David Hilbert’s Lectures on the Foundations of Mathematics and Physics, 1891–1933, Vol. 3), Springer-Verlag: Berlin and Heidelberg, 2013, xxvi + 1062 pp. ISBN 978-3-540-20578-4 (hardcover) $129.00, (Kindle) $86.37. Volker Peckhaus BookReview 06 May 2017 Pages: 669 - 671