Berestovoy, S. On Non-Classical Formal Systems. CRHF 2018, 12, 73-89.