A MULTIPLE-THEORY LOGIC SYSTEM

LIU Haiyan, CHEN Huowang, LIU Fengqi. A MULTIPLE-THEORY LOGIC SYSTEMJ. Journal of Computer Research and Development, 1998, 35(1).

Citation:

LIU Haiyan, CHEN Huowang, LIU Fengqi. A MULTIPLE-THEORY LOGIC SYSTEMJ. Journal of Computer Research and Development, 1998, 35(1).

Citation:

LIU Haiyan, CHEN Huowang, LIU Fengqi. A MULTIPLE-THEORY LOGIC SYSTEMJ. Journal of Computer Research and Development, 1998, 35(1).

Abstract

A hierarchical logical framework, MT, is defined, which is suited for representing and reasoning with multiple theories. MT extends classical two sort predicate calculus in several ways: Allowing to represent multiple theories, each theory is stated in a context; Each context can have meta theories for the contexts under it, and itself is a constant of the contexts above it, etc..

FullText(HTML)

Turn off MathJax

Article Contents

Export File