See this document in CiteSeerX!

Entropic Hopf Algebras And Models Of (2001)  (Make Corrections)  
Non-Commutative Logic Richard F. Blute, FrancOis Lamarche, Paul Ruet



  Home/Search   Context   Related

 
View or download:
iml.univmrs.fr/editions/publ...blr+.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  iml.univmrs.fr/ed...preprint2001 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We give a de nition of categorical model for the multiplicative fragment of non-commutative logic. We call such structures entropic categories. We demonstrate the soundness and completeness of our axiomatization with respect to cut-elimination. (Update)

Similar documents (at the sentence level):
48.2%:   Entropic Hopf Algebras and Models of Non-Commutative Logic - Blute, Lamarche, Ruet (2002)   (Correct)
16.8%:   Hopf Algebras and Models of Non-commutative Logic - Blute, Ruet (2000)   (Correct)

Active bibliography (related documents):   More   All
0.6:   The Shuffle Hopf Algebra and Noncommutative Full Completeness - Blute, Scott (1996)   (Correct)
0.6:   The Logic of Linear Functors - Blute, Cockett (2002)   (Correct)
0.5:   A Topological Correctness Criterion for Multiplicative.. - Mellies   (Correct)

Similar documents based on text:   More   All
0.2:   Linear Läuchli Semantics - Blute, Scott   (Correct)
0.1:   Non-commutative logic II: sequent calculus and phase semantics - Ruet (1998)   (Correct)
0.1:   Phase Semantics for Mixed Non-Commutative Classical Linear Logic - Ruet   (Correct)

BibTeX entry:   (Update)

@misc{ richard-entropic,
  author = "Non-Commutative Logic Richard",
  title = "Entropic Hopf Algebras And Models Of",
  url = "citeseer.ist.psu.edu/667378.html" }
Citations (may not include all citations):
562   Categories for the working mathematician (context) - Lane - 1971
248   The mathematics of sentence structure (context) - Lambek - 1958
242   Linear logic (context) - Girard - 1987
71   Hopf algebras (context) - Sweedler - 1969
67   Princeton University Press (context) - Cartan, Eilenberg - 1956
42   Non-commutative logic I: the multiplicative fragment - Abrusci, Ruet - 2000
38   Foundations of quantum group theory (context) - Majid - 1995
29   Non-commutative logic II: sequent calculus and phase semanti.. - Ruet - 2000
29   On closed categories of functors (context) - Day - 1970
29   Coherence for compact closed categories (context) - Kelly, Laplaza - 1980
28   autonomous categories (context) - Barr - 1979
22   Quantum groups (context) - Kassel - 1995
19   Cambridge University Press (context) - Abe - 1980
17   Quasitriangular hopf algebras and yang-baxter equations (context) - Majid - 1990
12   Harper and Row (context) - Freyd - 1964
10   The Chu construction - Barr - 1996
9   Bilinear logic in algebra and linguistics (context) - Lambek - 1994
9   Tannakian categories (context) - Deligne, Milne - 1982
5   autonomous categories of bimodules (context) - Rosenthal - 1994
4   egories tannakiennes (context) - Rivano - 1972
4   On hopf algebras and rigid monoidal categories (context) - Ulbrich - 1990
4   eorie combinatoire des series formelles (context) - Joyal - 1981
3   Algebraic cohomology and deformation theory (context) - Gerstenhaber, Schack - 1988
3   Hopf algebras and linear logic (context) - Blute - 1996
2   An introduction to algebraic deformation theory (context) - Fox - 1993
2   The logic of linear functors - Blute, Cockett et al. - 2001
2   Annals Pure Appl (context) - Blute, Scott et al. - 1996
2   Non-symmetric -autonomous categories (context) - Barr - 1995
2   hopf algebra and noncommutative full completeness (context) - Blute, Scott - 1998

Documents on the same site (http://iml.univ-mrs.fr/editions/publi2001/../preprint2001/preprint2001.html):   More
Retractions of Types with Many Atoms - Regnier, Urzyczyn (2001)   (Correct)
Encoding Left Reduction in the λ-Calculus with Interaction.. - Lippi (2001)   (Correct)
Quasitriangular WZW model - Klimcik (2001)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC