Non-Commutative Logic Richard F. Blute, FrancOis Lamarche, Paul Ruet  Home/Search
Context
Related
| iml.univmrs.fr/editions/publ...blr+.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iml.univmrs.fr/ed...preprint2001 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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