Operations and relations : two semantical treatments of intensional connectives in substructural logics = 操作と関係 : 部分構造論理における内包的結合子に関する二つの意味論的手法

Operations and relations : two semantical treatments of intensional connectives in substructural logics = 操作と関係 : 部分構造論理における内包的結合子に関する二つの意味論的手法

Notes on use

Note (General)：: Thesis(doctoral)--Saitama University, 2007, 博理工甲第652号Includes bibliographical references

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Operations and relations : two semantical treatments of intensional connectives in substructural logics = 操作と関係 : 部分構造論理における内包的結合子に関する二つの意味論的手法
Title Transcription: Operations and relations : two semantical treatments of intensional connectives in substructural logics = ソウサトカンケイ : ブブンコウゾウロンリニオケルナイホウテキケツゴウシニカンスルフタツノイミロンテキシュホウ
Author/Editor: Ying Gao
Author Heading: 高, 颖コウ, エイ
https://ci.nii.ac.jp/author/DA16021236
Publication, Distribution, etc.: Ying Gao
Publication Date: 2007
Publication Date (W3CDTF): 2007
Size: 30 cm
Place of Publication (Country Code): ja
Text Language Code: en
Target Audience: 一般
Note (General): Thesis(doctoral)--Saitama University, 2007, 博理工甲第652号
Includes bibliographical references
Related Material (URI): https://ci.nii.ac.jp/ncid/BA83463189#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA83463189 : BA83463189