$𝒩𝒦p$

$𝒩𝒦p$ is a natural deduction proof system for classical propositional logic. It is identical to NJp except that it replaces the rule ${\perp }_i$ with the rule:

$$\frac{\mathrm{\Gamma },\mathrm{\neg }\alpha \Rightarrow \perp }{\mathrm{\Gamma }\Rightarrow \alpha }({\perp }_c),\text{ where }\alpha \text{ 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