G. Bezhanishvili. Modal intuitionistic logics and superintuitionistic predicate logics: correspondence theory. Manuscript, 1997.  Home/Search   Document Not in Database   Summary   Related Articles

.... Wijesekera [1990] Modalities are added to intuitionistic logic in the framework of studying new intuitionistic connectives (Bessonov [1977] Gabbay [1977] Yashin [1994] and to simulate the monadic fragment of intuitionistic first order logic (Bull [1966] Ono [1977] Ono and Suzuki [1988] Bezhanishvili [1997]) The multitude of constructed logics was examined piecewise , often by means of creating a special semantical and syntactical apparatus. A broader perspective is to try combining the well developed general theories of classical modal logics and non modal superintuitionistic (alias ....

....[1957] Bull [1966] noticed that the translation defined by (p i ) P i (x) fi ) fi , for fi 2 f; g, 2 ) 8x , 3 ) 9x is an embedding of MIPC into the monadic fragment of intuitionistic predicate logic. Ono [1977] Ono and Suzuki [1988] Suzuki [1990] and Bezhanishvili [1997] investigated the relations between logics in ExtMIPC and superintuitionistic predicate logics induced by that translation. In this paper we restrict attention only to the classes of normal intuitionistic modal logics introduced above. An interesting example of a non normal system was ....

[Article contains additional citation context not shown here]

G. Bezhanishvili. Modal intuitionistic logics and superintuitionistic predicate logics: correspondence theory. Manuscript, 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC