#minimal logic

[nicolae]

Classical, minimal, and intuitionist logic

Classical, minimal, and intuitionist logic

The axioms and rules of propositional calculus for the classical logic induce the proposition p ∨ ¬p, called the principle of excluded middle, the proposition ¬¬p → p, called elimination of double negation and the proposition ((p → q) → p) → p called Peirce’s law. This logic is based on the principle that a property P is necessarily true or false. It is one of the pillars of the so-called…

View On WordPress