Sommaire

Super-Strict Implications
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
On GE-algebras
Soju Filters in Hoop Algebras