Publications

Almost (MP)-based substructural logics

Publication Type:

Conference Paper

Source:

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: