Connection-based proof construction in Non-Commutative Logic - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2003

Connection-based proof construction in Non-Commutative Logic

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
98 Consultations
0 Téléchargements

Altmetric

Partager

More