Extension of logical structures by safe extension of specialisation systems

Kiyoshi Akama, Ekawit Nantajeewarawat. Extension of logical structures by safe extension of specialisation systems. IJAAC, 2(2/3):340-364, 2008. [doi]

Abstract

Abstract is missing.