Similar to 証明可能性論理
負論理
Logic level
文脈主義
Contextualism
弁証法
Dialectic
マルコフ決定過程
Markov decision process
ミュンヒハウゼンのトリレンマ
Münchhausen trilemma
ミルの方法
Mill's methods
陽否陰述
Apophasis
四値論理
Four-valued logic
量子論理
Quantum logic
ロジカルシンキング
論文
論理哲学
Philosophy of logic
証明論
Proof theory
カット除去定理
Cut-elimination theorem
カリー＝ハワード同型対応
Curry–Howard correspondence
緩成長階層
Slow-growing hierarchy
逆数学
Reverse mathematics急成長階層
Fast-growing hierarchy
ゲーデルの加速定理
Gödel's speed-up theorem
シークエント
Sequent
自然演繹
Natural deduction
実現可能性 (論理学)
Realizability
初等関数算術
Elementary function arithmetic
チャーチ・クリーネ順序数
Nonrecursive ordinal
独立性 (数理論理学)
Independence (mathematical logic)
二重否定翻訳
Double-negation translation
保存拡大
Conservative extension
共有知識
Common knowledge (logic)