Girardian turnstyle

• To: linear@cs.stanford.edu
• Subject: Girardian turnstyle
• From: Jean Gallier <jean@saul.cis.upenn.edu>
• Date: Mon, 26 Apr 1993 14:34:28 EDT
• Approved: types@dcs.gla.ac.uk

I don't know whether this is "the official" macro, but this is
the one I used in my TCS survey paper (Vol. 110, No 2), and I think
it gives a pretty good approximation of the Girardian turnstyle:


\def\joinrelm{\mathrel{\mkern-3mu}}
\def\relbar{\mathrel{\smash-}}
\def\tailpiece{\vrule height 1ex width 0.3ex depth -.1ex} 
\def\seqsym{\mathrel{\tailpiece\joinrelm\relbar}}
\def\sequent#1#2{#1 \seqsym #2}

Example:
$$\sequent{\Gamma}{\Delta}$$


-- Jean Gallier

• Prev: no-short-trips on additive proof-nets
• Next: LFG semantics via Constraints
• Index(es):
  • Main
  • Thread