S. Berestovoy, “On Non-Classical Formal Systems”, CRHF, vol. 12, no. 34, pp. 73–89, Nov. 2018.