𝒩𝒦p is a natural deduction proof system for classical propositional logicPlanetmathPlanetmath. It is identical to NJp except that it replaces the rule i with the rule:

Γ,¬αΓα(c), where α is atomic.
Title 𝒩𝒦p
Canonical name mathcalNKp
Date of creation 2013-03-22 13:05:23
Last modified on 2013-03-22 13:05:23
Owner Henry (455)
Last modified by Henry (455)
Numerical id 5
Author Henry (455)
Entry type Definition
Classification msc 03F03
Synonym NKp