Switch to: Citations

Add references

You must login to add references.
  1. Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
    Download  
     
    Export citation  
     
    Bookmark   130 citations  
  • Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • Solution to the P − W problem.E. P. Martin & R. K. Meyer - 1982 - Journal of Symbolic Logic 47 (4):869-887.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Predicate logics without the structure rules.Yuichi Komori - 1986 - Studia Logica 45 (4):393 - 404.
    In our previous paper [5], we have studied Kripke-type semantics for propositional logics without the contraction rule. In this paper, we will extend our argument to predicate logics without the structure rules. Similarly to the propositional case, we can not carry out Henkin's construction in the predicate case. Besides, there exists a difficulty that the rules of inference () and () are not always valid in our semantics. So, we have to introduce a notion of normal models.
    Download  
     
    Export citation  
     
    Bookmark   13 citations