Non-associative, Non-commutative Multi-Modal Linear Logic
Authors: Eben Blaisdell, Max Kanovich, Stepan Kuznetsov, Elaine Pimentel and Andre Scedrov
Paper Information
| Title: | Non-associative, Non-commutative Multi-Modal Linear Logic |
| Authors: | Eben Blaisdell, Max Kanovich, Stepan Kuznetsov, Elaine Pimentel and Andre Scedrov |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Linear Logic, Subexponentials, Lambek Calculus, Associativity, Commutativity, cut-elimination, decidability |
| Pages: | 18 |
| Talk: | Aug 10 16:00 (Session 116C: Modalities and Decidability) |
| Paper: |  |