Каким бывают типы логик? Душкин объяснит