一个二阶的context逻辑

A SECOND-ORDER QUANTIFICATIONAL LOGIC OF CONTEXT

本文为Buvac的context逻辑定义了一个二阶扩充SOQLC，它能为许多常识现象提供更简单自然的描述．作为本文的重要结论，我们证明了SOQLC对一类推广的一般语义结构来说是可靠且完备的．SOQLC还可以作为数据库集成、多理论系统、OO系统等的逻辑基础．

A second-order extension, SOQLC, for the logic proposed by Buvac isdefined in this paper, which enables more natural and simple description for manycommon sense phenomena. As an important conclusion, it is proved that SOQLC issound as well as complete with respect to a special kind of general structures. Thispaper also shows that SOQLC is a promising logical foundation for database inte-gration, multiple-theory systems and OO systems, etc.