Switch to: Citations

Add references

You must login to add references.
  1. 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   91 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   29 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  
  • Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
    Download  
     
    Export citation  
     
    Bookmark   129 citations