Two Extensions of PX system. - Susumu Hayashi; Masakazu Ishikawa; Satoshi Kobayashi; Hiroshi Nakano; Syuichi Nakazaki (Linear Logic Tokyo Meeting, 1996)