Extension of logical structures by safe extension of specialisation systems
by Kiyoshi Akama, Ekawit Nantajeewarawat
International Journal of Automation and Control (IJAAC), Vol. 2, No. 2/3, 2008

Abstract: A specialisation system provides an axiomatic structure for studying the common interrelations between various forms of extended atomic formulas and specialisation operations on them. We show how to generate a logical structure from a specialisation system and introduce the concept of safe extension of a logical structure as a process of extending the space of logical formulas while preserving their logical meanings. We establish a sufficient condition for safe extension of a logical structure based on safe extension of its underlying specialisation system. Under this condition, a logical structure generated from a safe extension of a specialisation system is always a safe extension of that generated directly from the source specialisation system. The work extends a foundation for developing a computation theory based on the equivalent transformation principle.

Online publication date: Mon, 22-Dec-2008

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Automation and Control (IJAAC):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com