1.  91
    On an Intuitionistic Modal Logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.
    In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   25 citations  
  2.  6
    Bezem, M., see Barendsen, E.G. M. Bierman, M. DZamonja, S. Shelah, S. Feferman, G. Jiiger, M. A. Jahn, S. Lempp, Sui Yuefei, S. D. Leonhardi & D. Macpherson - 1996 - Annals of Pure and Applied Logic 79 (1):317.
    Direct download (2 more)  
    Export citation  
    Bookmark   3 citations  
  3.  21
    A Note on Full Intuitionistic Linear Logic.G. M. Bierman - 1996 - Annals of Pure and Applied Logic 79 (3):281-287.
    This short note considers the formulation of Full Intuitionistic Linear Logic given by Hyland and de Paiva . Unfortunately the formulation is not closed under the process of cut elimination. This note proposes an alternative formulation based on the notion of patterns.
    Direct download (4 more)  
    Export citation  
    Bookmark   1 citation