The strong completeness of medium logic system is discussed. The following results are proved： medium propositional logic system MP and its extension MP^＊ are strong complete; medium predicate logic system MF and it...The strong completeness of medium logic system is discussed. The following results are proved： medium propositional logic system MP and its extension MP^＊ are strong complete; medium predicate logic system MF and its extensions （MF^＊ and ME^＊ ） are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either.展开更多
This paper is devoted to the study of completely restricted Lie superalgebras. We give some sufficient and necessary conditions for both completely restricted Lie superalgebras and strongly completely restricted Lie s...This paper is devoted to the study of completely restricted Lie superalgebras. We give some sufficient and necessary conditions for both completely restricted Lie superalgebras and strongly completely restricted Lie superalgebras. Some other important results on completely restricted Lie superalgebras are also obtained.展开更多
文摘The strong completeness of medium logic system is discussed. The following results are proved： medium propositional logic system MP and its extension MP^＊ are strong complete; medium predicate logic system MF and its extensions （MF^＊ and ME^＊ ） are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either.
基金Youth Science Foundation of Northeast Normal University (111494027) National Natural Science Foundation of China (10271076)
文摘This paper is devoted to the study of completely restricted Lie superalgebras. We give some sufficient and necessary conditions for both completely restricted Lie superalgebras and strongly completely restricted Lie superalgebras. Some other important results on completely restricted Lie superalgebras are also obtained.
