lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

Strict Implication for Intuitional Modal Logic

Open SnO2WMaN opened this issue 1 year ago • 0 comments

For some reasons, it's better to adopt Strict Implication (⥽) than Box (□) for consideration intuitionistic modal logic.

cf:

  • https://arxiv.org/abs/1708.02143

SnO2WMaN avatar Feb 03 '24 14:02 SnO2WMaN