The logic of entanglement in gravity

[microresearch]

DOWNLOAD

We explore the relation between gravity and entanglement using mathematical logic (Modus Ponens).

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

Open Mathematics Collaboration

Would you like to discuss and co-author this paper? (Join our open Slack channel)

Op. J. Math. Phys.
Volume 1, Article 58, 2019 [CF]

Hilbert-style proof Calculus for Propositional Logic in ABC notation

[microreview]

DOWNLOAD

All nine axioms and a single inference rule of logic (Modus Ponens) within the Hilbert axiomatic system are presented using capital letters (ABC) in order to familiarize the beginner student in hers/his first contact with the topic.

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

Open Mathematics Collaboration

Would you like to discuss and co-author this paper? (Join our open Slack channel)

Op. J. Math. Phys.
Volume 1, Article 57, 2019 [CE]

The Incorrectness Lemma

[original idea]

DOWNLOAD

We address two questions. Is there an Incorrectness Lemma? Is this system complete?

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

Open Mathematics Collaboration

Would you like to discuss and co-author this paper? (Join our open Slack channel)

Op. J. Math. Phys.
Volume 1, Article 53, 2019 [CA]

A pedagogical approach to convert “if and only if” to “if then”

[microreview]

DOWNLOAD

We show, using the equivalence of some formulas, that (A iff B) ~ ((A v B) => (A ^ B)).

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

Open Mathematics Collaboration

Would you like to discuss and co-author this paper? (Join our open Slack channel)

Op. J. Math. Phys.
Volume 1, Article 52, 2019 [BZ]

Generalized Pierce law

[microresearch]

DOWNLOAD

An extension of the Pierce law is presented, considering n “if then” connectives.

https://doi.org/10.31219/osf.io/6fbgp

Open Mathematics Collaboration

Would you like to discuss and co-author this paper? (Join our open Slack channel)

Op. J. Math. Phys.
Volume 1, Article 50, 2019 [BX]