17 found
Order:
  1.  44
    The Deduction Theorem for Łukasiewicz Many-Valued Propositional Calculi.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):7-19.
  2.  38
    Przegląd twierdzeń o dedukcji dla rachunków zdań.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):163-178.
  3.  28
    Podstawowe Własności Systemów Dedukcyjnych Opartych Na Nieklasycznych Logikach. Cz. I.Witold A. Pogorzelski & Jerzy Słupecki - 1960 - Studia Logica 9 (1):163 - 176.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  10
    Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach. cz. iОсновные свойства дедуктивных систем, основанных на неклассических логиках. ч. ІBasic properties of deductive systems based on nonclassical logics. Part I. [REVIEW]Witold A. Pogorzelski & Jerzy Słupecki - 1960 - Studia Logica 9 (1):163-176.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  5.  33
    Twierdzenie O Dedukcji Dla Wielowartościowych Rachunków Zdań Łukasiewicza.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):20-21.
  6.  25
    Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach. cz. II.Witold A. Pogorzelski & Jerzy Słupecki - 1960 - Studia Logica 10 (1):77-91.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  7.  41
    Kilka Uwag O Pojęciu Zupeŀności Rachunku Zdań. I.Witold A. Pogorzelski - 1968 - Studia Logica 23 (1):43 - 58.
  8.  34
    On the Scope of the Classical Deduction Theorem.Witold A. Pogorzelski - 1968 - Journal of Symbolic Logic 33 (1):77-81.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  44
    A Proof System for Classical Logic.Witold A. Pogorzelski & Piotr Wojtylak - 2005 - Studia Logica 80 (1):95-104.
    An operation on inferential rules, called H-operation, is used to minimize the axiom basis for classical logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  21
    Tadeusz Kotarbiński. Introduction. Notes on the Development of Formal Logic in Poland in the Years 1900–39. Polish Logic 1920–1939, Edited by Storrs McCall. The Clarendon Press, Oxford1967, Pp. 1–14. - Jan Łukasiewicz. On the Notion of Possibility. English Translation of the First Half of 1864 by H. Hiż. Polish Logic 1920–1939, Edited by Storrs McCall. The Clarendon Press, Oxford1967, Pp. 15–16. - Jan Łukasiewicz. On Three-Valued Logic. English Translation of the Second Half of 1864 by H. Hiż. Polish Logic 1920–1939, Edited by Storrs McCall. The Clarendon Press, Oxford1967, Pp. 16–18. - Jan Łukasiewicz. On Determinism. English Translation of XXXIII 130 by Z. Jordan. Polish Logic 1920–1939, Edited by Storrs McCall. The Clarendon Press, Oxford1967, Pp. 19–39. - Jan Łukasiewicz. Philosophical Remarks on Many-Valued Systems of Propositional Logic. English Translation of 1868 by H. Weber. Polish Logic 1920–1939, Edited by Storrs McCall. The Clarendon Press, Oxford1967, Pp. 40–65. - Jan Łuka. [REVIEW]Witold A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (3):442-446.
  11.  37
    Schemat Twierdzeń o Dedukcji Dla Rachunku Zdań.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):181-187.
  12.  46
    Artykuły O Treści Logicznej Zawarte W Czasopismach Nadesłanych Do Redakcji.Klemens Szaniawski, Barbara Stanosz, Tadeusz Kubiński, Stanisław Surma, Ija Lazari-Pawłowska, Fan Franciszek Drewnowski, Leon Koj, Stanisław Kamiński, Ewa Żarnecka-Biajy & Witold A. Pogorzelski - 1963 - Studia Logica 14 (1):351-383.
  13.  55
    Cn-Definitions of Propositional Connectives.Witold A. Pogorzelski & Piotr Wojtylak - 2001 - Studia Logica 67 (1):1-26.
    We attempt to define the classical propositional logic by use of appropriate derivability conditions called Cn-definitions. The conditions characterize basic properties of propositional connectives.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  9
    Review: Storrs McCall, Polish Logic 1920-1939. [REVIEW]Witold A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (3):442-446.
  15.  8
    A Minimal Implicational Logic.Witold A. Pogorzelski - 1994 - In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 213--216.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  42
    Concerning the notion of completeness of invariant sentential calculi.Witold A. Pogorzelski - 1974 - Studia Logica 33:69.
  17.  5
    Polish Logic 1920-1939.Witold A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (3):442-446.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation