Tag bilinear_logic
1 bookmark has this tag.
1 bookmark has this tag.
Grammar can be formulated as a kind of substructural propositional logic. In support of this claim, we survey bare Gentzen style deductive systems and two kinds
of non-commutative linear logic: intuitionistic and compact bilinear logic. We also glance at their categorical refinements