1 citations · 1 across the 3 of their papers we have counts for
4 papers
Spaces over BO are thickened manifolds
Hiro Lee Tanaka
Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify…
Tower-Complete Problems in Contraction-Free Substructural Logics
Hiromi Tanaka
We investigate the non-elementary computational complexity of a family of substructural logics without contraction. With the aid of the technique pioneered by Lazić and Schmitz (20…
Decision Problems for Propositional Non-associative Linear Logic and Extensions
Hiromi Tanaka
In our previous work, we proposed the logic obtained from full non-associative Lambek calculus by adding a sort of linear-logical modality. We call this logic non-associative non-c…
A note on undecidability of propositional non-associative linear logics
Hiromi Tanaka
We introduce a non-associative and non-commutative version of propositional intuitionistic linear logic, called propositional non-associative non-commutative intuitionistic linear…