 Non-classical logic

Non-classical logic refers to a variety of logical systems that diverge from classical logic, which typically includes propositional logic and first-order predicate logic. Classical logic is characterized by principles like the law of non-contradiction and the law of excluded middle. Non-classical logics, however, introduce alternative principles or modify existing ones to address specific philosophical, mathematical, or practical concerns.