| Monadic分划逻辑中的Fraisse定理 |
| |
| 引用本文： | 田启家,沈恩绍.Monadic分划逻辑中的Fraisse定理[J].北京师范大学学报(自然科学版),1995,31(3):285-289. |
| |
| 作者姓名： | 田启家 沈恩绍 |
| |
| 作者单位： | 北京师范大学数学系 |
| |
| 摘 要： | 给出Ｍｏｎａｄｉｃ分划逻辑初等等介的一个代数刻画，从而把Ｆｒａｉｓｓｅ定理从一阶的情形推广到了Ｍｏｎａｄｉｃ分划逻辑的情形。
|
| 关 键 词： | 分划逻辑 Fraisse定理 M分划逻辑 |
FRAISSE THEOREM ON MONADIC PARTITION LOGIC |
| |
| Tian Qijia, Shen Enshao, Shen Fuxing.FRAISSE THEOREM ON MONADIC PARTITION LOGIC[J].Journal of Beijing Normal University(Natural Science),1995,31(3):285-289. |
| |
| Authors: | Tian Qijia Shen Enshao Shen Fuxing |
| |
| Abstract: | An algebraic characterizing is given for the models being elementary equivalent on Monadic partition logic. then the Fraisse theorem is generatized from first order logic to monadic partition logic. |
| |
| Keywords: | Monadic partition logic Fraisse theorem |
| 本文献已被 CNKI 维普 等数据库收录！ |
