research
∙
07/31/2020
Proof search for full intuitionistic propositional logic through a coinductive approach for polarized logic
The approach to proof search dubbed "coinductive proof search", and prev...
share
research
∙
04/23/2015
