A look into provability and proof techniques in logic systems.
― 5 min read
Iris van der Giessen
This article discusses a new sequent calculus for Strong L intuitionistic logic.
― 4 min read
Cutting edge science explained simply
A look into provability and proof techniques in logic systems.
― 5 min read
This article discusses a new sequent calculus for Strong L intuitionistic logic.
― 4 min read