Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 8, Issue 2, March 2021. Special issue Assertion and Proof