Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics |
| |
Authors: | Nobu-Yuki Suzuki |
| |
Affiliation: | (1) Department of Computer and Information Sciences Faculty of Engineering, Ibaraki University, 316 Hitachi, Japan |
| |
Abstract: | Some properties of Kripke-sheaf semantics for super-intuitionistic predicate logics are shown. The concept ofp-morphisms between Kripke sheaves is introduced. It is shown that if there exists ap-morphism from a Kripke sheaf 1 into 2 then the logic characterized by 1 is contained in the logic characterized by 2. Examples of Kripke-sheaf complete and finitely axiomatizable super-intuitionistic (and intermediate) predicate logics each of which is Kripke-frame incomplete are given. A correction to the author's previous paper Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Studia Logica, 49(1990), pp. 289–306 ) is stated.Dedicated to Professor Takeshi Kotake on his 60th birthdayThis research was partially supported by Grant-in-Aid for Encouragement of Young Scientists No. 03740107, Ministry of Educatin, Science and Culture, Japan. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|