Noncommutative intuitionistic linear propositional logic (1990)

by V M Abrusci
Venue:Zeitschr. f. Math. Logik u. Grundlagen d. Math