This article discusses a new sequent calculus for Strong L intuitionistic logic.
― 4 min read
Ian Shillito
A look into the structure and relationships of intuitionistic modal logics.
― 6 min read
Cutting edge science explained simply
This article discusses a new sequent calculus for Strong L intuitionistic logic.
― 4 min read
A look into the structure and relationships of intuitionistic modal logics.
― 6 min read