by Ken Kubota

The Mathematical Logic R0 is a further development of Peter B. Andrews’ logic Q0.

It will be published in three parts:

  1. Philosophical Treatment
  2. Mathematical Formulae
  3. Software Implementation

For details, please read the detailed announcement.

A full specification of the logic will be published with the philosophical treatment expected for the beginning of 2018. As a preliminary introduction shall serve the tutorial, which is part of the software implementation and also available online.

Further Resources


Please click here to subscribe to
the author’s newsletter.


Kubota – R0 Logic