Цахим шуудангийн бүртгэл: Исследования по неклассическим логикам и формальным системам