Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices Antoni Torrens OriginalPaper 18 February 2016 Pages: 849 - 867
Adaptive Logic Characterizations of Input/Output Logic Christian StraßerMathieu BeirlaenFrederik Van De Putte OriginalPaper 03 March 2016 Pages: 869 - 916
A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute Aldo Figallo Orellano ReviewPaper 27 February 2016 Pages: 931 - 956
Intuitionistic Games: Determinacy, Completeness, and Normalization Paweł Urzyczyn OriginalPaper 24 February 2016 Pages: 957 - 1001
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics Francesca Poggiolesi OriginalPaper 23 February 2016 Pages: 1003 - 1036
Bi-Simulating in Bi-Intuitionistic Logic Guillermo Badia OriginalPaper 27 February 2016 Pages: 1037 - 1050
The Lambek Calculus Extended with Intuitionistic Propositional Logic Michael KaminskiNissim Francez OriginalPaper 12 March 2016 Pages: 1051 - 1082