Strong paraconsistency by separating composition and decomposition in classical logic

Speaker(s) Peter Verdée
Date 19 May 2011
Place Philadelphia, USA
Occasion Workshop on Logic, Language, Information and Computation 2011
Category Contributed