形式化单序理论（关于形式化单序理论介绍）

大家好,小迪来为大家解答以上的问题。形式化单序理论，关于形式化单序理论介绍这个很多人还不知道,现在让我们一起来看看吧！

1、 形式化单序理论(formal theory of simple or-der)亦称线性序理论.满足单序关系的形式系统.设语言丫~{蕊}，其中毛是二元关系符号，由偏序公理}1 } }2 } }3(参见“形式化偏序理论”)加上公理

2、 为出发点所构成的形式系统，称为形式化单序理论，简称单序理论.

3、  

本文到此分享完毕，希望对大家有所帮助。