Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Nakaogawa, Koji"'
We introduce a sequent calculus FL' for non-commutative substructural logic. It has at most one formula on the right side of sequent, and excludes three structural inference rules, i.e. contraction, weakening and exchange. (FL' is based on our invest
Externí odkaz:
http://arxiv.org/abs/0902.0304
