Glueing of Algebras for Substructural Logics(Non-Classical Logics and Their Kripke Semantics)
スポンサーリンク
概要
著者
関連論文
- 複数文献を対象とする唐代行政地理情報の統合化
- 歴史記述に対する概念分析の試み
- 唐代任官情報の概念モデル : 時間、文献に依存する情報のための分析パターン
- 中国古典文献のための電子テキストの概念モデル
- 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)