Научные интересы: теория доказательств, неклассические логики.