Works by Shigeo Ōhama

( view other items matching `Shigeo Ōhama`, view all matches )
Order:
  1.  19
    A sequent system of the logic r− for Rosser sentences2.Katsumi Sasaki & Shigeo Ohama - 2004 - Bulletin of the Section of Logic 33 (1):11-21.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  16
    A note on Thomason's representation of S.Satoshi Miura & Shigeo Ōhama - 1977 - Notre Dame Journal of Formal Logic 18 (1):177-180.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  30
    Conjunctive normal forms and weak modal logics without the axiom of necessity.Shigeo Ōhama - 1984 - Notre Dame Journal of Formal Logic 25 (2):141-151.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation