# $\mathcal{N}\mathcal{K}p$

$\mathcal{N}\mathcal{K}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 | $\mathcal{N}\mathcal{K}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 |