Almost (MP)-based substructural logics
Publication Type:
Conference PaperSource:
Fifth International Conference on Topology, Algebra, and Categories in Logic, TACL 2011, University of Marseille, Saint-Charles campus, University of Marseille, p.71 - 74 (2011)Projects:
