Jump to main content

yr 〜
yr

Search results 6

Substructural logics with restricted versions of structural rules

Substructural logics with restricted versions of structural rules
PaperDigital博士論文障害者向け資料あり
上出哲広 [著]<UT51-2000-K147>
National Diet Library

Substructural logics with mingle

Substructural logics with mingle
Paper文書・図像類
Kamide, Norihiro北陸先端科学技術大学院大学情報科学研究科1999-02-08Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-99-0003p.1-17
Other Libraries in Japan
  • Author HeadingKamide, Norihiro

Mingle converse principle for substructural logics

Mingle converse principle for substructural logics
Paper文書・図像類
Kamide, Norihiro北陸先端科学技術大学院大学情報科学研究科1999-04-16Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-99-0013p.1-8
Other Libraries in Japan
  • Author HeadingKamide, Norihiro

A family of substructural logics with restricted/generalized structural rules

A family of substructural logics with restricted/generalized structural rules
Paper文書・図像類
Kamide, Norihiro北陸先端科学技術大学院大学情報科学研究科1998-09-17Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0023p.1-41
Other Libraries in Japan
  • Author HeadingKamide, Norihiro

Conservative extensions in relevant implicational logics

Conservative extensions in relevant implicational logics
Paper文書・図像類
Kamide,　Norihiro, Kashima,　Ryou北陸先端科学技術大学院大学情報科学研究科1998-01Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0003p.1-26
Other Libraries in Japan
  • Author HeadingKamide,　Norihiro Kashima,　Ryou

A family of substructural implicational logics

A family of substructural implicational logics
Paper文書・図像類
Kashima, Ryo, Kamide, Norihiro北陸先端科学技術大学院大学情報科学研究科1997-09Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0037p.1-66
Other Libraries in Japan
  • Author HeadingKashima, Ryo Kamide, Norihiro

Reached to the end of result.

RSS