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 2021. 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


Kubota – R0 Logic