Tag: KC logic

Logic of Weak Excluded Middle (KC)

An intermediate logic derived from propositional logic by incorporating all instances of…

Bossmind