Connection-based proof construction in Non-Commutative Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

Connection-based proof construction in Non-Commutative Logic

Abstract

We propose a connection-based characterization of the multiplicative fragment of non-commutative logic (MNL), that is a conservative extension of both commutative (MLL) and non-commutative or cyclic (MCyLL) linear logic. It is based on a characterization for MLL together with the introduction of labels and constraints from a formula polarization process. We also study a similar characterization for the intuitionistic fragment of MNL. Finally, we consider the relationships between these results and proof nets construction in MNL based on labels and constraints.

Dates and versions

inria-00099554 , version 1 (26-09-2006)

Identifiers

Cite

Didier Galmiche, Jean-Marc Notin. Connection-based proof construction in Non-Commutative Logic. 10th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2003 - LPAR'03, 2003, Almaty/Kazakhstan, pp.422 - 436, ⟨10.1007/b13986⟩. ⟨inria-00099554⟩
79 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More