Peirce-s-law meaning

(logic) The classically valid but intuitionistically non-valid formula of propositional calculus, which can be used as an substitute for the law of excluded middle in implicational propositional calculus.
noun
0
0
Advertisement

Origin of peirce-s-law

  • Named after the logician and philosopher Charles Sanders Peirce.
    From Wiktionary