Non-classical logic and undecidability

[conjecture]

DOWNLOAD

We elaborate a conjecture by applying the definition of Non-Axiomatic System [1] in Non-Classical Logic.

https://doi.org/10.31219/osf.io/h4f7p

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 2, Article 112, 2020 [EI]

Vacuously true sentences: Are they non-Boolean and undecidable?

[microresearch]

DOWNLOAD

We propose a discussion on the non-Boolean mathematical object embedded in vacuously true sentences.

https://doi.org/10.31219/osf.io/8r3j2

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 1, Article 35, 2019 [BI]