---
tag: H9Z8BWRN69
kind: concept
name: Logic of weak excluded middle
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section L
    note: adopted
    mention: wikipedia://en/76765067#R19E
    sections: [Summary]
inventory: [NAQDKJMENM]
---

## Summary

An intermediate logic obtained by adding all instances of weak excluded middle to propositional logic. Also called "KC" and "Jankov's logic".