Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.
Cockett, J.R.B., Seely, R.A.G. (1997)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “Natural deduction and coherence for non-symmetric linearly distributive categories.”
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.
Finite sum-product logic.
Cockett, J.R.B., Seely, R.A.G. (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Claspers and finite type invariants of links.
Habiro, Kazuo (2000)
Geometry & Topology
Similarity:
A forbidden-suborder characterization of binarily-composable diagrams in double categories.
Dawson, Robert (1995)
Theory and Applications of Categories [electronic only]
Similarity:
Span of the Jones polynomial of an alternating virtual link.
Kamada, Naoko (2004)
Algebraic & Geometric Topology
Similarity:
Hopf diagrams and quantum invariants.
Bruguiéres, Alain, Virelizier, Alexis (2005)
Algebraic & Geometric Topology
Similarity:
Calculus of clovers and finite type invariants of 3-manifolds.
Garoufalidis, Stavros, Goussarov, Mikhail, Polyak, Michael (2001)
Geometry & Topology
Similarity:
The universal Vassiliev-Kontsevich invariant for framed oriented links
Tu Quoc Thang Le, Jun Murakami (1996)
Compositio Mathematica
Similarity:
Exploring the gap between linear and classical logic.
Lamarche, François (2007)
Theory and Applications of Categories [electronic only]
Similarity:
A TQFT for Wormhole cobordisms over the field of rational functions
Patrick Gilmer (1998)
Banach Center Publications
Similarity:
We consider a cobordism category whose morphisms are punctured connected sums of ’s (wormhole spaces) with embedded admissibly colored banded trivalent graphs. We define a TQFT on this cobordism category over the field of rational functions in an indeterminant A. For r large, we recover, by specializing A to a primitive 4rth root of unity, the Witten-Reshetikhin-Turaev TQFT restricted to links in wormhole spaces. Thus, for r large, the rth Witten-Reshetikhin-Turaev invariant of a link...
Structural analysis of social networks with respect to different levels of aggregation
Hans J. Hummell, Wolfgang Sodeur (1997)
Mathématiques et Sciences Humaines
Similarity:
The article aims at the integration of the two research traditions of multi-level and of network analysis. To this effect, a strategy is presented which can be traced back to P.F. Lazarsfeld and H. Menzel's typology of units and of their properties. After having extended their classification to take account of more network concepts than was needed at their time, the Lazarsfeld-Menzel-Classification is used as a conceptual instrument to translate a research question, which first looks...