Sommaire

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