Fangyi Zhou


Neo-Classical Logic (SIGBOVIK 2022)

My colleague Martin Vassor and I worked on a paper with title Neo-Classical Logic for SIGBOVIK 20221.

You can read the paper here (with reviews).

In this April Fool’s paper, we explore a possible logic that encapsulates seemingly contradictory observations in the real work. We investigate how such contradictions can be represented in a logic, and show its decidability. Moreover, we prove standard theorems such as “Law of Excluded Middle”, but also novel theorems such as “Law of Contradiction”.

If you wish to submit a review, please send it to my email address2. I will incorporate them in an updated version.


  1. If you don’t know what is SIGBOVIK, I would strongly recommend you to check it out. ↩︎

  2. Finding the correct email address is left as an exercise to readers. ↩︎