On Logics with Coimplication

Authors: 
Wolter, Frank
Year: 
1998
Language: 
English
Abstract: 
This paper investigates (modal) extensions of Heyting-Brouwer logic, i.e., the logic which results when the dual of implication (alias coimplication) is added to the language of intuitionistic logic. We first develop matrix as well as Kripke style semantics for those logics. Then, by extending the Gödel-embedding of intuitionistic logic into S4, it is shown that all (modal) extensions of Heyting-Brouwer logic can be embedded into tense logics (with additional modal operators). An extension of the Blok-Esakia- Theorem is proved for this embedding.
Appeared / Erschienen in: 
Journal of Philosophical logic (wird erscheinen)
Pubdate / Erscheinungsdatum: 
1998
Pages / Seitenanzahl: 
30
AttachmentSize
1998-24.pdf352.91 KB