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 2020. As a preliminary introduction shall serve the tutorial, which is part of the software implementation and also available online. Please see also the R0 FAQ.

Further Resources


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


Kubota – R0 Logic