A SECOND-ORDER QUANTIFICATIONAL LOGIC OF CONTEXT
Hai Liu · Chinese Journal of Computers · 1998
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.