Paraconsistent intuitionistic logic
Speaker(s) | Hans Lycke |
---|---|
Date | 23 April 2010 |
Place | Estoril, Portugal |
Occasion | World Congress on Universal Logic III |
Category | Contributed |
Slides | unilog.pdf |
Speaker(s) | Hans Lycke |
---|---|
Date | 23 April 2010 |
Place | Estoril, Portugal |
Occasion | World Congress on Universal Logic III |
Category | Contributed |
Slides | unilog.pdf |