Travaux de logique

Travaux de logique
Les travaux de logique sont une publication périodique éditée par le Centre de Recherches Sémiologiques (CdRS) de la Chaire de logique, rattachée à l'Institut de philosophie de la Faculté des lettres et sciences humaines de l'Université de Neuchâtel.
Université de Neuchâtel

Logique multivalente

Blaszczyk, Marek

In: Travaux de logique, 1997, vol. 11, p. 57-89

Université de Neuchâtel

Les logiques modales

Joray, Pierre

In: Travaux de logique, 1997, vol. 11, p. 15-55

Université de Neuchâtel

Montague et les catégories d'Ajukiewicz

Godart-Wendling Béatrice

In: Travaux de logique, 1999, vol. 13, p. 159-175

Université de Neuchâtel

Les types en mathématiques et en linguistique

Lambek, Jim

In: Travaux de logique, 1999, vol. 13, p. 147-158