Logique Linéaire

Références

Logique linéaire et Programmation Logique :

1

Rémi Baudot, Christophe Fouqueré, "Prouveur de théorème en logique non-commutative", Rapport LIPN n° 99-10, Novembre 1999.

2

Virgile Mogbil, Christophe Fouqueré, "Modules and Logic Programming", Rapport LIPN n° 04-10, Novembre 2004. http://fr.arXiv.org/abs/cs.LO/0411029
Logique linéaire et Langage Naturel :

1

Michele Abrusci, Christophe Fouqueré, and Jacqueline Vauzeilles. Tree adjoining grammars in noncommutative linear logic. In C. Casadio, editor, Proceedings of the 1996 Roma Workshop on Proofs and Linguistic Categories. Clueb, University of Bologna, Italy, 1996. http://www.unich.it/filosofia/Roma96.html

2

Michele Abrusci, Christophe Fouqueré, and Jacqueline Vauzeilles. "Tree Adjoining Grammars in a fragment of the Lambek calculus", Computational Linguistics, vol.99, n°9, pp. 209-236, 1999.
Logique linéaire et Taxonomies :

1

Christophe Fouqueré and Jacqueline Vauzeilles. La logique linéaire est-elle monotone ? In Actes des Journées du LIPN, pages 104-117, Université Paris-Nord, France, September 1993.

2

Christophe Fouqueré and Jacqueline Vauzeilles. Taxonomic linear theories. In Proceedings of ECSQARU'93, 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 121-128, Granada, Spain, November 1993. Springer-Verlag LNCS 747.

3

Christophe Fouqueré and Jacqueline Vauzeilles. Linear logic and exceptions. Journal of Logic and Computation, 5(6):860-875, 1994.

4

Christophe Fouqueré and Jacqueline Vauzeilles. Inheritance with exceptions. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, pages 167-196. Cambridge University Press, 1995. Proceedings of the Workshop on Linear Logic, Ithaca, New York, June 1993.

5

Christophe Fouqueré and Jacqueline Vauzeilles. Linear logic for taxonomical networks and database updates. Electronic Notes in Theoretical Computer Science, 3, 1996. Proceedings of the Workshop on Linear Logic, Tokyo, Japan, March 1996. http://www1.elsevier.nl/mcs/tcs/pc/volume3.htm