non-classical logic
formal systems of logic that significantly differ from standard logical systems
non-monotonic logic
formal logic whose conclusion relation is not monotonic
relevance logic
mathematical logic system that imposes certain restrictions on implication