0-reducible
Def:
0-reducible
任意の論理式
$ \varphi \notin \Lambda
に対し,命題変項が出現しない代入例
$ \sigma(\varphi) \notin \Lambda
が存在することを 0‑reducible という
Thm
どういうモチベーションで考えられたものなのかよく分かっていないなかったが,例えば
正規様相論理K
は
0-reducible
でない:
A. Chagrov, M. Zakharyaschev; "Modal Logic", Thm 3.62