In a previous work we introduced a non-associative non-commutative logic...
In a previous work we introduced a non-associative non-commutative logic...
This paper develops a Multiset Rewriting language with explicit time for...
We give a proof-theoretic and algorithmic complexity analysis for system...
We investigate language interpretations of two extensions of the Lambek
...
The notion of compliance in Multiset Rewriting Models (MSR) has been
int...
Lambek calculus is a logical foundation of categorial grammar, a linguis...
The Lambek calculus is a well-known logical formalism for modelling natu...
The Lambek calculus can be considered as a version of non-commutative
in...
Morrill and Valentin in the paper "Computational coverage of TLG:
Nonlin...