1. On Tarski’s Axiomatization of Mereology

   • Neil Tennant

   OriginalPaper 28 August 2018 Pages: 1089 - 1102

2. Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs

   • Shawn Standefer

   OriginalPaper 25 September 2018 Pages: 1103 - 1134

3. Categorical Equivalence Between \(\varvec{PMV}_{\varvec{f}}\)-Product Algebras and Semi-Low \(\varvec{f}_{\varvec{u}}\)-Rings

   • Lilian J. Cruz
   • Yuri A. Poveda

   OriginalPaper 26 September 2018 Pages: 1135 - 1158

4. Completeness in Equational Hybrid Propositional Type Theory

   • Maria Manzano
   • Manuel Martins
   • Antonia Huertas

   OriginalPaper 20 October 2018 Pages: 1159 - 1198

5. Disjunction and Existence Properties in Inquisitive First-Order Logic

   • Gianluca Grilletti

   OriginalPaper Open access 24 October 2018 Pages: 1199 - 1234

6. Varieties of BL-Algebras III: Splitting Algebras

   • Paolo Aglianó

   OriginalPaper 20 November 2018 Pages: 1235 - 1259

7. The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property

   • Jie Fang

   OriginalPaper 27 November 2018 Pages: 1261 - 1277

8. A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences

   • Jared Millson

   OriginalPaper 29 November 2018 Pages: 1279 - 1312

9. Valuations: Bi, Tri, and Tetra

   • Rohan French
   • David Ripley

   OriginalPaper 03 December 2018 Pages: 1313 - 1346