Multiplicative Linear Logics and Fibrations

François Lamarche 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : we define a notion of fibration on generalized operads that automatically gives the categorical axiomatizion of a large class of multiplicative deductive systems we described in a previous paper. We illustrate it by showing examples taken from previously descirbed logics. Also we show interesting properties of the ctegory of structas, including the fact that it contains many well-known categories as subcategories, including the category of categories.
Type de document :
Communication dans un congrès
R. Blute. Category Theory in computer science - CTCS'2002, Nov 2002, Ottawa, Ontario, Canada, Elsevier North Holland, 69, 21 p, 2002, Electronic notes in theoretical computer science
Liste complète des métadonnées

https://hal.inria.fr/inria-00100811
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:51:11
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00100811, version 1

Collections

Citation

François Lamarche. Multiplicative Linear Logics and Fibrations. R. Blute. Category Theory in computer science - CTCS'2002, Nov 2002, Ottawa, Ontario, Canada, Elsevier North Holland, 69, 21 p, 2002, Electronic notes in theoretical computer science. 〈inria-00100811〉

Partager

Métriques

Consultations de la notice

78