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

Group Theory and Computational Linguistics

Journal of Logic, Language and Information

A New Correctness Criterion for Cyclic Proof Nets

Journal of Logic, Language and Information

A Non-commutative Extension of MELL

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

Type Grammar Revisited

LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics

Quadratic Correctness Criterion for Non-commutative Logic

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic

Handsome proof-nets: perfect matchings and cographs

Theoretical Computer Science - Linear logic

A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic

Theoretical Computer Science - Linear logic

Tree Adjoining Grammars in a fragment of the Lambek calculus

Computational Linguistics

Group theory and linguistic processing

COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1

Analyzing the Core of Categorial Grammar

Journal of Logic, Language and Information

Lambek calculus is NP-complete

Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics

Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic

Electronic Notes in Theoretical Computer Science (ENTCS)

Orthogonality and Boolean algebras for deduction modulo

TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications

Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models)

Fundamenta Informaticae

Cut Elimination For Classical Bilinear Logic

Fundamenta Informaticae

Graphs of plural cuts

Theoretical Computer Science