Non-classical logic

formal systems of logic that significantly differ from standard logical systems