On logics with coimplication

Journal of Philosophical Logic 27 (4):353-387 (1998)
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
Keywords Philosophy
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1004218110879
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,798
Through your library
References found in this work BETA
Semantic Analysis of Tense Logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
Logics Containing K4. Part II.Kit Fine - 1985 - Journal of Symbolic Logic 50 (3):619-651.
Properties of Independently Axiomatizable Bimodal Logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.
Modality and Possibility in Some Intuitionistic Modal Logics.Josep M. Font - 1986 - Notre Dame Journal of Formal Logic 27 (4):533-546.

View all 11 references / Add more references

Citations of this work BETA
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Constructive Negation, Implication, and Co-Implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.

View all 9 citations / Add more citations

Similar books and articles

Monthly downloads

Added to index

2009-01-28

Total downloads

35 ( #148,705 of 2,177,980 )

Recent downloads (6 months)

1 ( #317,206 of 2,177,980 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums