Decision Problems for Propositional Non-associative Linear Logic and Extensions

03/03/2020
by   Hiromi Tanaka, et al.
0

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-commutative intuitionistic linear logic (NACILL, for short). In this paper, we establish the decidability and undecidability results for various extensions of NACILL. Regarding the decidability results, we show that the deducibility problems for several extensions of NACILL with the rule of left-weakening are decidable. Regarding the undecidability results, we show that the provability problems for all the extensions of non-associative non-commutative classical linear logic by the rules of contraction and exchange are undecidable.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/30/2019

A note on undecidability of propositional non-associative linear logics

We introduce a non-associative and non-commutative version of propositio...
research
04/15/2019

On the Lambek Calculus with an Exchange Modality

In this paper we introduce Commutative/Non-Commutative Logic (CNC logic)...
research
08/08/2023

Explorations in Subexponential Non-associative Non-commutative Linear Logic

In a previous work we introduced a non-associative non-commutative logic...
research
04/20/2021

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics

We establish decidability for the infinitely many axiomatic extensions o...
research
06/18/2015

Comparing and evaluating extended Lambek calculi

Lambeks Syntactic Calculus, commonly referred to as the Lambek calculus,...
research
07/06/2023

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)

In a previous work we introduced a non-associative non-commutative logic...
research
12/30/2021

Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces

After reminding what coherences spaces are and how they interpret linear...

Please sign up or login with your details

Forgot password? Click here to reset