Tag: FroCoS

  • Discussing “Combining Classical and Intuitionistic Logic”

    Discussing “Combining Classical and Intuitionistic Logic”

    This short but fun little paper discusses how we can combine two different logics – classical and intuitionistic – into one. Classical logic is the logic of Boole where every proposition has a definite value of True or False and negation simply inverts the value, so that ‘p or not p’ holds for any proposition…