Geodesic

Volume 49 (2020) no. 4

Sommaire

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