分划逻辑与着色卵石博奕

摘要

将Ｍａｌｉｔｚ量词Ｑ￣（ｍ，ｎ）的基数限制去掉，再作多分划拓广，便得到各种ｍｏｎａｄｉｃ型的分划量词。本文引入了分划逻辑的着色卵石博奕方法，证明了相应的Ｅｈｒｅｎｆｅｎｃｈｔ－Ｆｒａｓｓｅ定理，作为此方法的一个应用，证明了在表达能力上，ｍｏｎａｄｉｃ型的分划逻辑严格地弱于ｍｏｎａｄｉｃ二阶逻辑。