Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics Szabolcs Mikulás OriginalPaper 01 October 2014 Pages: 453 - 478
On Some Classes of Commutative Weak BCK-Algebras Jānis Cīrulis OriginalPaper 27 August 2014 Pages: 479 - 490
On ideals and congruences of distributive demi-p-algebras T. S. BlythJie FangLeibo Wang OriginalPaper 10 September 2014 Pages: 491 - 506
Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity Steffen Lewitzka OriginalPaper 21 September 2014 Pages: 507 - 544
From Bi-facial Truth to Bi-facial Proofs Stefan WinteinReinhard A. Muskens OriginalPaper 21 September 2014 Pages: 545 - 558
Unprovability and Proving Unprovability Mingzhong Cai OriginalPaper 21 September 2014 Pages: 559 - 578
Non-deterministic Conditionals and Transparent Truth Federico PailosLucas Rosenblatt OriginalPaper 27 November 2014 Pages: 579 - 598
Cofinally Invariant Sequences and Revision Edoardo Rivello OriginalPaper 21 September 2014 Pages: 599 - 622
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem Victor N. Krivtsov OriginalPaper 21 September 2014 Pages: 623 - 638
Hilbert Algebras with a Modal Operator \({\Diamond}\) Sergio A. CelaniDaniela Montangie OriginalPaper 08 October 2014 Pages: 639 - 662
Book Review: Matthias Baaz and Alexander Leitsch, Methods of Cut-Elimination Sam Buss BookReview 10 May 2015 Pages: 663 - 667