1. Proof Theory for Positive Logic with Weak Negation

   • Marta Bílková
   • Almudena Colacito

   OriginalPaper 24 July 2019 Pages: 649 - 686

2. A Note on Strong Axiomatization of Gödel Justification Logic

   • Nicholas Pischke

   OriginalPaper 01 August 2019 Pages: 687 - 724

3. L-effect Algebras

   • Wolfgang Rump
   • Xia Zhang

   OriginalPaper 24 August 2019 Pages: 725 - 750

4. Justification Logic with Confidence

   • Ted Shear
   • John Quiggin

   OriginalPaper 21 August 2019 Pages: 751 - 778

5. Proof Theory of Paraconsistent Weak Kleene Logic

   • Francesco Paoli
   • Michele Pra Baldi

   OriginalPaper 24 October 2019 Pages: 779 - 802

6. Satisfiability is False Intuitionistically: A Question from Dana Scott

   • Charles McCarty

   OriginalPaper 14 October 2019 Pages: 803 - 813

7. Herzberger’s Limit Rule with Labelled Sequent Calculus

   • Andreas Fjellstad

   OriginalPaper 24 October 2019 Pages: 815 - 855

8. A Proof Theory for the Logic of Provability in True Arithmetic

   • Hirohiko Kushida

   OriginalPaper 19 December 2019 Pages: 857 - 875