Kripke完全性定理
「
演繹体系
が
Kripke意味論
に対して
完全である」という意味で
完全性定理
をこう呼ぶことがある.その場合は
Kripke完全
(
Kripke completes
)と言ったりする.
モチベーションとしては
意味論
が複数考えられる論理体系:例えば
直観主義論理
や
様相論理
(普通はKripke意味論だが)に対して複数の完全性定理のヴァリエーションが想定されるので区別のためにこう呼称する.