多项选择题

A.形式逻辑
B.辩证逻辑
C.科学逻辑
D.非形式逻辑