Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic (1991)

by V M Abrusci
Venue:J. Symbolic Logic