1. G. M. Bierman & V. C. V. de Paiva (2000). On an Intuitionistic Modal Logic. 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  2. G. M. Bierman (1996). A Note on Full Intuitionistic Linear Logic. Annals of Pure and Applied Logic 79 (3):281-287.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. G. M. Bierman, M. DZamonja, S. Shelah, S. Feferman, G. Jiiger, M. A. Jahn, S. Lempp, Sui Yuefei, S. D. Leonhardi & D. Macpherson (1996). Bezem, M., see Barendsen, E. Annals of Pure and Applied Logic 79:317.
    Translate to English
    |
     
    My bibliography  
     
    Export citation