Construction of Logical Structures on Specialization Systems
Kiyoshi Akama, Ekawit Nantajeewarawat · 2011
A specialization system is an axiomatic structure for specifying a set of atomic formulas and a set of specialization operations on them. This paper formalizes the concept of logical structure and presents three basic ways of logical structure construction, i.e., generating a logical structure from a specialization system, constructing a conjunctive logical structure, and logical structure morphing. Instantiations of the proposed framework in the context of first-order logic, clausal-form logic, and a basic description logic are illustrated. The merits of the framework in understanding different logical systems and logical structure extension are described.