Vol. 49 No. 4 (2020)

Research Article

• The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

  David Makinson (Author)

  327-342

  • PDF

• From Intuitionism to Brouwer's Modal Logic

  Zofia Kostrzycka (Author)

  343-358

  • PDF

• Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

  Satoru Niki (Author)

  359-375

  • PDF

• Length Neutrosophic Subalgebras of BCK=BCI-Algebras

  Young Bae Jun, Madad Khan, Florentin Smarandache, Seok-Zun Song (Author)

  377-400

  • PDF

• Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

  Alexej P. Pynko (Author)

  401-437

  • PDF