ヘルプ
ヘルプ

検索結果 911 件

Proof theory and algebra in logic (Short textbooks in logic)

Proof theory and algebra in logic (Short textbooks in logic)
紙図書
Hiroakira OnoSpringer[2019]<MA41-D5>
国立国会図書館全国の図書館
  • 内容細目...ic analysis of logical properties M...... substructural logics Deducibility ......II: Algebra in Logic. From algebra to logic Basics of algebraic logic Logics and varieties Residuated str...
  • 件名Proof theory Algebraic logic
  • 関連情報Short textbooks in logic

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)
紙図書
Nikolaos Galatos, Kazushige Terui, editorsSpringer[2022]<MA41-D8>
国立国会図書館
  • 要約等... substructural logics. Chapters, wr......ersal algebra, algebraic logic and the Full L......ebra, abstract algebraic logic, topological dualities, a...... substructural logics, results on t......ers working in algebraic and non-classical logic
  • 内容細目...r 2. Universal algebraic methods for non-classical logics (James G. Raf......er 3. Abstract algebraic logic An introductor......Chapter 4. Topological duality and algebraic completions (M...... Chapter 5. An algebraic glimpse at bun......and separation logic (Peter Jipsen ......ties of linear logic (Robert Goldbl......iate predicate logic (Nobu-Yuki Suz...... substructural logics (Jacopo Amidei, Rodolfo C. E...
  • 件名Logic, Symbolic and mathematical On...

Coherence of the Double Negation in Linear Logic (Algebra, Logic and Geometry in Informatics)

Coherence of the Double Negation in Linear Logic (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
長谷川 真人<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.133～135
インターネットで読める国立国会図書館全国の図書館

Ideas in Logic and Computer-Science related to Ludics (Algebra, Logic and Geometry in Informatics)

Ideas in Logic and Computer-Science related to Ludics (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
永山 操<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.75～93
インターネットで読める国立国会図書館全国の図書館

Equational Tree Automata: Towards Automated Verification of Network Protocols (Algebra, Logic and Geometry in Informatics)

Equational Tree Automata: Towards Automated Verification of Network Protocols (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
大崎 人士, 高井 利憲<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.48～52
インターネットで読める国立国会図書館全国の図書館

Embedding into Wreath Product and the Yoneda Lemma (Algebra, Logic and Geometry in Informatics)

Embedding into Wreath Product and the Yoneda Lemma (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
長谷川 立<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.150～159
インターネットで読める国立国会図書館全国の図書館

Demonic orders and quasi-totality in Dedekind categories (Algebra, Logic and Geometry in Informatics)

Demonic orders and quasi-totality in Dedekind categories (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
河原 康雄, 大隈 ひとみ<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.102～112
インターネットで読める国立国会図書館全国の図書館

一般設計学と抽象設計論に関する考察 (Algebra, Logic and Geometry in Informatics)

一般設計学と抽象設計論に関する考察 (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
菊池 誠<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.136～148
インターネットで読める国立国会図書館全国の図書館

整合的ドメインの極限要素集合の次元について (Algebra, Logic and Geometry in Informatics)

整合的ドメインの極限要素集合の次元について (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
立木 秀樹<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.15～20
インターネットで読める国立国会図書館全国の図書館

関係データベースにおける従属性検証システムの実装 (Algebra, Logic and Geometry in Informatics)

関係データベースにおける従属性検証システムの実装 (Algebra, Logic and Geometry in Informatics)
紙記事
本多 和正<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.94～101
国立国会図書館全国の図書館

明示的環境計算体系への部分型の導入 (Algebra, Logic and Geometry in Informatics)

明示的環境計算体系への部分型の導入 (Algebra, Logic and Geometry in Informatics)
紙記事
澤田 康秀<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.113～121
国立国会図書館全国の図書館

A study on an immune network dynamical system model (Algebra, Logic and Geometry in Informatics)

A study on an immune network dynamical system model (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
板谷 聡子<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.122～132
インターネットで読める国立国会図書館全国の図書館

Effective Limit in Computable Analysis (Algebra, Logic and Geometry in Informatics)

Effective Limit in Computable Analysis (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
竹内 泉<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.3～14
インターネットで読める国立国会図書館全国の図書館

メレオトポロジーと計算 (Algebra, Logic and Geometry in Informatics)

メレオトポロジーと計算 (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
三好 博之<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.21～29
インターネットで読める国立国会図書館全国の図書館

Towards a Convenient Category of Topological Domains (Algebra, Logic and Geometry in Informatics)

Towards a Convenient Category of Topological Domains (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
Alex Simpson<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.53～73
インターネットで読める国立国会図書館全国の図書館

Structural Induction and the λ-Calculus (Algebra, Logic and Geometry in Informatics)

Structural Induction and the λ-Calculus (Algebra, Logic and Geometry in Informatics)
紙記事
Rene Vestergaard<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.30～45
国立国会図書館全国の図書館

Geometry of Interaction explained (Algebra, Logic and Geometry in Informatics)

Geometry of Interaction explained (Algebra, Logic and Geometry in Informatics)
紙デジタル記事
白旗 優<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.160～187
インターネットで読める国立国会図書館全国の図書館

Algebra, Logic and Geometry in Informatics

Algebra, Logic and Geometry in Informatics
紙記事
<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.1～187
国立国会図書館全国の図書館

On Linear Algebraic Computation for Logic Programming

書影書影書影
On Linear Algebraic Computation for Logic Programming
デジタル博士論文障害者向け資料あり
Nguyen, Quoc Tuan, グエン, クォック　トゥアン, Quoc Tuan, Nguyen2022-09-28
国立国会図書館
  • 並列タイトル等（連結）On Linear Algebraic Computation for Logic Programming(論理プログラミングの線形代数計算に...
  • 並列タイトル等On Linear Algebraic Computation for Logic Programming(論理プログラミングの線形代数計算に...

関係の代数的論理学 : C. S. パースの試み

関係の代数的論理学 : C. S. パースの試み
紙記事
新 茂之<Z72-L923>イギリス理想主義研究年報 = The bulletin of the Japanese Society for British Idealism / イギリス理想主義研究会 編(10):2014p.1-10
国立国会図書館全国の図書館
  • 並列タイトル等（連結）On Peircean Algebraic Logic of Relatives
  • 並列タイトル等On Peircean Algebraic Logic of Relatives