Switch to: References

Add citations

You must login to add citations.
  1. The Method of Axiomatic Rejection for the Intuitionistic Propositional Logic.Rafal Dutkiewicz - 1989 - Studia Logica 48 (4):449-459.
    We prove that the intuitionistic sentential calculus is Ł-decidable, i.e. the sets of these of Int and of rejected formulas are disjoint and their union is equal to all formulas. A formula is rejected iff it is a sentential variable or is obtained from other formulas by means of three rejection rules. One of the rules is original, the remaining two are Łukasiewicz's rejection rules: by detachement and by substitution. We extensively use the method of Beth's semantic tableaux.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • The theory of rejected propositions. II.Jerzy Słupecki, Grzegorz Bryll & Urszula Wybraniec-Skardowska - 1972 - Studia Logica 30 (1):97 - 145.
    This paper is a continuation of Part I under the same title. Its Chapter III contains results given in the following publications: U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131. G. Bryll, Związki logiczne pomiędzy zdaniami nauk empirycznych (Logical relations between sentences of empirical sciences). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations