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

Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations

Satoru Niki

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
Proof Compression and NP Versus PSPACE II

Lew Gordeev, Edward Hermann Haeusler

18 pp.
- PDF
Module Structure on Effect Algebras

Simin Saidi Goraghani, Rajab Ali Borzooei

22 pp.
- PDF
Equality Logic

Shokoofeh Ghorbani

34 pp.
- PDF
New New Modification of the Subformula Property for a Modal Logic

Mitio Takano

14 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