|
|||||
|
|
The Semantic Completeness of a Global Intuitionistic Logic |
|
| Authors: | Hiroshi Aoyama |
| Abstract: | In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar systems. |
| Keywords: | Modal logic Intuitionistic logic Semantic completeness Heyting algebra |