Sommaire du Fascicule no. 1

A Topological Approach to Tense LMn×m-Algebras
Inf-Hesitant Fuzzy Ideals in BCK/BCI-Algebras
May the Sea-Battle Tommorow Not Happen?
Nilpotent Minimum Logic NM and Pretabularity
The Dynamic Epistemic Logic for Actual Knowledge

Sommaire du Fascicule no. 2

Cantor on Infinitesimals. Historical and Modern Perspective
Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
Compounding Objects
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Formal Methods and Science in Philosophy: Introduction to the Special Issue
What Is the Sense in Logic and Philosophy of Language

Sommaire du Fascicule no. 3

Proof Compression and NP Versus PSPACE II
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
New Modification of the Subformula Property for a Modal Logic
Module Structure on Effect Algebras
Equality Logic

Sommaire du Fascicule no. 4

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
From Intuitionism to Brouwer's Modal Logic
Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
Length Neutrosophic Subalgebras of BCK=BCI-Algebras
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations