A type of logic that allows for contradictions to coexist without leading to triviality or inconsistency.