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
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

09/30/2019

A note on undecidability of propositional non-associative linear logics

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

On the Lambek Calculus with an Exchange Modality

In this paper we introduce Commutative/Non-Commutative Logic (CNC logic)...
04/20/2021

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics

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

Comparing and evaluating extended Lambek calculi

Lambeks Syntactic Calculus, commonly referred to as the Lambek calculus,...
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...
08/25/2011

Encoding Phases using Commutativity and Non-commutativity in a Logical Framework

This article presents an extension of Minimalist Categorial Gram- mars (...
07/05/2012

Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality

Detection and elimination of redundant clauses from propositional formul...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.