Early View

View Early View

Contains articles which have been accepted for publication and assigned a DOI number, but not yet included in a journal issue.

Published: 2020-08-09

Research Article

One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity

Paweł Płaczek
- PDF
From intuitionism to Brouwer’s modal logic

Zofia Kostrzycka

16 pp.
- PDF
The Phenomenology of Second-Level Inference: Perfumes in the Deductive Garden

David Makinson
- PDF
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

Natalya Tomova
- PDF
Length neutrosophic subalgebras of BCK/BCI-algebras

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

23 pp.
- PDF
Empirical Negation, Co-negation and the Contraposition Rule II: Proof-Theoretical Investigations

Satoru Niki

17 pp.
- PDF
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

Alexej P. Pynko

37 pp.
- PDF
A general model of neutrosophic ideals in BCK/BCI-algebras based on neutrosophic points

Hashem Bordbar, Rajab Ali Borzooei, Florentin Smarandache, Young Bae Jun

17 pp.
- PDF
On GE-Algebras

Ravikumar Bandaru, Arsham Borumand Saeid, Young Bae Jun

16 pp.
- PDF
Soju Filters in Hoop Algebras

Rajab Ali Borzooei, Gholamreza Rezaei, Mona Aaly Kologhani, Young Bae Jun

27 pp.
- PDF