1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Hiromi Tanaka
We introduce a non-associative and non-commutative version of propositional intuitionistic linear logic, called propositional non-associative non-commutative intuitionistic linear…