Paraconsistent intuitionistic logic

Speaker(s) Hans Lycke
Date 23 April 2010
Place Estoril, Portugal
Occasion World Congress on Universal Logic III
Category Contributed
Slides PDF icon unilog.pdf