Paraconsistent logic

Home > Philosophy > Logic > Predicate Logic > Paraconsistent logic

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