|
JAIST Repository >
著者: "カミデ, ノリヒロ"
4 著者名表示.
発行日 | タイトル |
著者 |
Jan-1998 | Conservative extensions in relevant implicational logics | Kamide, Norihiro; Kashima, Ryou; 上出,哲広; 鹿島,亮; カミデ, ノリヒロ; カシマ, リョウ |
17-Sep-1998 | A family of substructural logics with restricted/generalized structural rules | Kamide, Norihiro; 上出, 哲広; カミデ, ノリヒロ |
8-Feb-1999 | Substructural logics with mingle | Kamide, Norihiro; 上出, 哲広; カミデ, ノリヒロ |
16-Apr-1999 | Mingle converse principle for substructural logics | Kamide, Norihiro; 上出, 哲広; カミデ, ノリヒロ |
|