Category:数理論理学

• 数理論理学者 （7サブカテゴリ、10ページ）

*

• モデル理論 （2サブカテゴリ、22ページ）
• 計算可能性理論 （10サブカテゴリ、28ページ）
• 証明論 （5サブカテゴリ、16ページ）

か

• 型理論 （5サブカテゴリ、26ページ）

き

• 強制法 （4ページ）

け

• 計算機科学における論理 （14サブカテゴリ、13ページ）
• 形式体系 （8サブカテゴリ、7ページ）

こ

• 構成主義 (数学) （2サブカテゴリ、5ページ）
• 公理 （1サブカテゴリ、19ページ）
• 古典論理 （3サブカテゴリ、11ページ）

さ

• 再帰 （2サブカテゴリ、14ページ）
• 再帰理論 （1サブカテゴリ、4ページ）
• 算術の形式理論 （5ページ）

し

• 自動定理証明 （2サブカテゴリ、11ページ）
• 述語論理 （2サブカテゴリ、17ページ）

す

• 数学基礎論の定理 （23ページ）
• 数理論理学関連のスタブ項目 （1サブカテゴリ、43ページ）
• 数理論理学的階層 （8ページ）

た

• 大規模な数学的形式化プロジェクト （3ページ）

と

• 同値 (数学) （2サブカテゴリ、36ページ）

に

• 二項演算 （7サブカテゴリ、27ページ）

ひ

• 非古典論理 （7サブカテゴリ、14ページ）

り

• 量化 （13ページ）

ろ

• 論理計算 （1サブカテゴリ、6ページ）

*

• 数理論理学

D

• DPLLアルゴリズム

S

• Smn定理

あ

• アルゴリズム

い

• 一階述語論理
• 一般と特殊 (数学)
• 意味論 (論理学)

う

• 宇宙 (数学)

え

• エルブランの定理

か

• 型理論
• カット除去定理
• 関係 (数学)
• 関係代数 (数学)
• 関係の合成
• 完全関係
• 完全性
• カントールの往復論法

き

• 記述計算量
• 帰納言語
• 帰納的可算言語
• 帰納的可算集合
• 逆関係
• 逆数学
• 吸収法則
• 強制法
• ギルモアのアルゴリズム
• 議論領域

く

• 空虚な真
• グッドスタインの定理
• クヌース・ベンディックス完備化アルゴリズム
• クレイグの補間定理

け

• 計算可能関数
• 計算可能性理論
• 形式体系
• 形式の法則
• ゲーデル数
• ゲーデルの完全性定理
• ゲーデルの不完全性定理
• ゲーム意味論
• 決定可能性
• 原始再帰関数
• 原子論理式

こ

• 高階述語論理
• 項書き換え
• 後者関数
• 恒真式
• 構成規則
• 構造的帰納法
• 公理図式
• 合流性
• 古典論理

さ

• 再帰
• 再帰的定義
• 再帰理論

し

• シークエント計算
• 自己検証理論
• 自己認識論理
• 時相論理
• 自動推論
• 十分条件
• 述語論理
• 証明論
• 初等関数算術
• 初等同値性
• 神託機械
• 真理関数

す

• 推移関係
• 数学基礎論
• ススリンの問題

せ

• 制約論理プログラミング
• 正論理
• 絶対性 (数理論理学)
• 節標準形
• 線形時相論理
• 線形論理

そ

• 存在記号

た

• 対角化定理
• 対称関係
• タルスキの定義不可能性定理
• 単純集合

ち

• 置換公理
• チューリング次数
• チューリングジャンプ
• 超現実数
• 超数学

て

• 定義可能集合
• デービス・パトナムのアルゴリズム
• デデキント数

と

• 導出原理

に

• 二階述語論理

は

• パースの法則
• ハイティング代数
• パリス＝ハーリントンの定理
• ハルモス代数
• 反射関係

ひ

• 必要条件
• ヒルベルト・プログラム

ふ

• ブーリアン型
• フーリエ・モツキンの消去法
• ブール関数
• ブール代数
• ブール値関数
• ブール領域
• 不動点コンビネータ
• 部分構造論理
• ブラリ＝フォルティのパラドックス
• プリンキピア・マテマティカ
• プレスバーガー算術
• 負論理

へ

• 並行制約プログラミング
• 並行論理プログラミング
• 変数 (数学)

ほ

• 保存拡大

ま

• マーティンの公理

み

• Μ再帰関数

む

• 無限
• 無限論理
• 矛盾許容論理

め

• 命題関数
• メタ理論
• メタ論理学
• メレオロジー

も

• モデル理論

ゆ

• 有限演算
• 有限モデル理論

ら

• ラムダ計算

れ

• レーブの定理
• 連言標準形

ろ

• ロッサーのからくり
• 論理式 (数学)
• 論理プログラミング