Sommaire du Fascicule no. 1

A Modified Subformula Property for the Modal Logic S4.2
Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation
Functional Completeness in CPL via Correspondence Analysis
Positive Implicative Soju Ideals in BCK-Algebras
Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E

Sommaire du Fascicule no. 2

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
The Method of Socratic Proofs Meets Correspondence Analysis
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
Semi-Heyting Algebras and Identities of Associative Type

Sommaire du Fascicule no. 3

A Note on Ciuciura’s mbC1
Complex Fuzzy Sets with Application in BCK/BCI-Algebras
Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
A Note on Distributive Triples
Modal Boolean Connexive Logics: Semantics and Tableau Approach

Sommaire du Fascicule no. 4

An Investigation into Intuitionistic Logic with Identity
Disjunctive Multiple-Conclusion Consequence Relations
Many Faces of Lattice Tolerances
Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic