Similar to 構成規則
形式体系
Formal system
時相論理
Temporal logic
DPLLアルゴリズム
DPLL algorithm
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)ラムダ計算
Lambda calculus
Mizar
Mizar system
意味論 (論理学)
自動定理証明
Automated theorem proving
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
正論理
線形時相論理
Linear temporal logic
第一原理
First principle
定義可能集合
Definable set
負論理
Logic level
Smn定理
Smn theorem
アルゴリズム
Algorithm
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
ギルモアのアルゴリズム
公理図式
Axiom schema
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
自動推論
Automated reasoning
制約論理プログラミング
Constraint logic programming
節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm