11 found
Order:
  1.  39
    A Survey of Deduction Theorems for the Propositional Calculi.W. A. Pogorzelski - 1964 - Studia Logica 15 (1):179-179.
  2.  18
    Reviews - J. H. Woodger. Translator's Preface. Logic, Semantics, Metamathematics, Papers From 1923 to 1938.Oxford at the Clarendon Press, London1956, Pp. Vii–Ix. - Alfred Tarski. Author's Acknowledgments.Logic, Semantics, Metamathematics, Papers From 1923 to 1938.Oxford at the Clarendon Press, London1956, Pp. Xi–Xii. - Alfred Tarski. On the Primitive Term of Logistic. Modified English Translation Based on 2852–4. Logic, Semantics, Metamathematics, Papers From 1923 to 1938.Oxford at the Clarendon Press, London1956, Pp. 1–23. - Alfred Tarski. Foundations of the Geometry of Solids.Logic, Semantics, Metamathematics, Papers From 1923 to 1938.Oxford at the Clarendon Press, London1956, Pp. 24–29. - Alfred Tarski. On Some Fundamental Concepts of Metamathematics. English Translation of 2857. Logic, Semantics, Metamathematics, Papers From 1923 to 1938.Oxford at the Clarendon Press, London1956, 30–37. - Jan Łukasiewicz and Alfred Tarski. Investigations Into the Sentential Calculus. English Transl. [REVIEW]W. A. Pogorzelski & S. J. Surma - 1969 - Journal of Symbolic Logic 34 (1):99-106.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  5
    A Schema of Deduction Theorems for the Propositional Calculus.W. A. Pogorzelski - 1964 - Studia Logica 15 (1):188-188.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  28
    Twierdzenie O Dedukcji Dla Wielowartościowych Rachunków Zdań Łukasiewicza.W. A. Pogorzelski - 1964 - Studia Logica 15 (1):20-21.
  5.  23
    Pewien Wariant Dowodu Pełności Węższego Rachunku Funkcyjneogo.J. Słupecki & W. A. Pogorzelski - 1961 - Studia Logica 12 (1):131-132.
  6.  10
    Structural Completeness of the First‐Order Predicate Calculus.W. A. Pogorzelski & T. Prucnal - 1975 - Mathematical Logic Quarterly 21 (1):315-320.
  7.  12
    Przegląd czasopism.Marian Przelęcki, Jan Franciszek Drewnowski, Leon Koj, W. A. Pogorzelski, Halina Mortimer & Jerzy Kmita - 1961 - Studia Logica 12 (1):215-226.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  28
    The Adequacy of the Theories of Deductive Systems with Respect to Sentential Calculi.W. A. Pogorzelski - 1962 - Studia Logica 13 (1):129-131.
    The sentential calculiR, under discussion, are axiomatizable and implication is among their primitive terms. The modus ponens and the rule of substitution are their primitive rules. ByS r is denoted the set of sentences obtained from the formulae of the calculusR by substituting sentences of a given language for all variables. The variablesx, y, z ... represent the elements of the setS r , the variablesX, Y, Z ... represent the subsets ofS R . The formulacxy designates an implication withx (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  22
    Some Remarks on the Concept of Completeness of the Propositional Calculus. I.W. A. Pogorzelski - 1968 - Studia Logica 23 (1):55-58.
  10.  24
    Przegląd Czasopism.Halina Mortimer, Jan Franciszek Drewnowski, Jerzy Kmita, W. A. Pogorzelski, Leon Koj & Marian Przełęcki - 1961 - Studia Logica 12 (1):267-283.
  11.  22
    Basic Properties of Deductive Systems Based on Nonclassical Logics. Part II.W. A. Pogorzelski & J. Słupecki - 1960 - Studia Logica 10 (1):94-95.