non-classical logic

Non-classical logic is a branch of logic that studies systems of reasoning that are different from classical logic.