1. Makoto Tatsuta, Ken-Etsu Fujita, Ryu Hasegawa & Hiroshi Nakano (2010). Inhabitation of Polymorphic and Existential Types. Annals of Pure and Applied Logic 161 (11):1390-1399.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Ken-etsu Fujita (1998). On Proof Terms and Embeddings of Classical Substructural Logics. Studia Logica 61 (2):199-221.
    There is an intimate connection between proofs of the natural deduction systems and typed lambda calculus. It is well-known that in simply typed lambda calculus, the notion of formulae-as-types makes it possible to find fine structure of the implicational fragment of intuitionistic logic, i.e., relevant logic, BCK-logic and linear logic. In this paper, we investigate three classical substructural logics (GL, GLc, GLw) of Gentzen's sequent calculus consisting of implication and negation, which contain some of the right structural rules. In terms (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Hans Tonino & Ken-Etsu Fujita (1992). On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System. Annals of Pure and Applied Logic 57 (3):251-276.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation