「シークエント計算」を解説文に含む見出し語の検索結果(41～50/141件中)
数学の集合論とその周辺分野において、フォン・ノイマン宇宙 V とは、遺伝的（英語版）整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用い...
数理論理学の一分野であるモデル理論において、同じシグネチャ σ の2つの構造 M と N が同じ一階σ-文を満たすとき、M と N は初等的同値であるという。N が M の部分構造であるとき、さらに強...
数理論理学の一分野であるモデル理論において、同じシグネチャ σ の2つの構造 M と N が同じ一階σ-文を満たすとき、M と N は初等的同値であるという。N が M の部分構造であるとき、さらに強...
数理論理学の一分野であるモデル理論において、同じシグネチャ σ の2つの構造 M と N が同じ一階σ-文を満たすとき、M と N は初等的同値であるという。N が M の部分構造であるとき、さらに強...
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: construc...
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: construc...
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: construc...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
高階述語論理（こうかいじゅつごろんり、英: Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...
高階述語論理（こうかいじゅつごろんり、英: Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...