7KEISLER H J.Logic with the quantifier "There Exist Uncountable Many"[J].Ann Math Logic,1970,1:1-93.
8WANG Hanping,XIE Huiyang.On elementary submodels of a lattic-valued model for language L(Q)[J].Universities Pekinensis(Natural Science),2001,37 (5):623-629.
9CHANG C C,KEISLER H J.Model theory[M].2nd edition.Amsterdam:North-Holland,1991.
10Yin M S. Automata Theory Based on Quantum Logic (Ⅱ). Int J Theor Phys, 2000, 39(11): 2545-2557.
