Po-hyperdoctrinal semantics for substructural predicate logics
スポンサーリンク
概要
著者
-
白須 裕之
東京大学大学院人文社会系研究科次世代人文学開発センター
-
白須 裕之
北陸先端科学技術大学院大学情報科学研究科
-
白須 裕之
School Of Information Science Jaist
関連論文
- 複数文献を対象とする唐代行政地理情報の統合化
- 歴史記述に対する概念分析の試み
- 唐代任官情報の概念モデル : 時間、文献に依存する情報のための分析パターン
- 中国古典文献のための電子テキストの概念モデル
- SIMPOSのプログラミング環境 : テキスト・エディタPmacs
- 言語テクストのデジタルアーカイブズについて
- 唐代資料引用のための語彙設計 : 書籍と版本とを対象として
- 唐代行政地理のデータモデル
- 唐代行政地理の概念モデル
- 人文系データベースを構築するとはどういうことか?
- Duality in super-intuitionistic and modal predicate logics
- Po-hyperdoctrinal semantics for substructural predicate logics
- Glueing of algebras for substructural logics
- Glueing of Algebras for Substructural Logics(Non-Classical Logics and Their Kripke Semantics)