True, and there is some variation in the axioms. But for the record, pretty much all systems keep the logical rules of AND elimination and OR introduction for example: if A and B are true, then A is true. If A is true, then A or B is true. However, the law of excluded middle is sometimes excluded for constructivist reasons.
True, and there is some variation in the axioms. But for the record, pretty much all systems keep the logical rules of AND elimination and OR introduction for example: if A and B are true, then A is true. If A is true, then A or B is true. However, the law of excluded middle is sometimes excluded for constructivist reasons.