Výsledky vyhledávání - "Watari, Osamu"

Report

On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics

Autor: Ueno, Takeshi, Nakaogawa, Koji, Watari, Osamu

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

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

On Non-eliminability of the Cut Rule and the Roles of Associativity and Distributivity in Non-commutative Substructural Logics

Autor: Ueno, Takeshi, Nakatogawa, Koji, Watari, Osamu

Publikováno v: 哲学. 52:5-16

We introduce a sequent calculus FL', which has at most one formula on the right side of sequent, and which excludes three structural inference rules, i.e. contraction, weakening and exchange. Our formulations of the inference rules of FL' are based o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::ac136ac9b8820c5dff6e35ebfde723c9
http://hdl.handle.net/2115/75401

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání