13 found
Order:
Disambiguations
Stanisław J. Surma [12]Stanisław Surma [4]
  1.  37
    On Jaśkowski-type semantics for the intuitionistic propositional logic.Stanisław J. Surma, Andrzej Wroński & Stanisław Zachorowski - 1975 - Studia Logica 34 (2):145-148.
  2.  40
    Twierdzenia o dedukcji niewprost.Stanisław J. Surma - 1967 - Studia Logica 20 (1):151-160.
  3.  74
    Artykuł O treści logicznej zawarte W czasopismach nadesłanych do redakcji.Stanisław Surma, Klemens Szaniawski, Jan Franciszek Drewnowski, Ewa Żarnecka-Biały, Jerzy Kmita, Jerzy Giedymin & Leon Koj - 1964 - Studia Logica 15 (1):311-343.
  4.  37
    Conference on stanisław leśniewski's achievement.Stanisław J. Surma - 1977 - Studia Logica 36 (4):247-248.
  5.  45
    Cztery studia z metamatematyki.Stanisław J. Surma - 1968 - Studia Logica 23 (1):79-102.
  6.  15
    From closure-operatic deductive methodology to non-standard alternatives.Stanisław J. Surma - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. pp. 365--377.
  7.  33
    Four studies in metamathematics.Stanisław J. Surma - 1968 - Studia Logica 23 (1):109-114.
  8. Studies in the history of mathematical logic.Stanisław J. Surma (ed.) - 1973 - Wrocław,: Zakład Narodowy im. Ossolinskich.
  9.  18
    The Logical Work of Mordchaj Wajsberg.Stanisław J. Surma - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 101--115.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  28
    Twierdzenia o dedukcji dla implikacji zstępujących.Stanisław J. Surma - 1968 - Studia Logica 22 (1):61-77.
  11. W duchu Tarskiego: o alternatywach teorio-dowodowej metalogiki.Stanisław J. Surma - 1993 - Filozofia Nauki 1.
    the standard metalogical set-ups seem to be all based on the idea of consequence (or proof). However, metalogic can also be effectively constructed using some non-standard primmitive ideas. In this paper an outline is given to four metalogical frameworks, alternative to the standard set-ups. They are based, respectively, on the idea of consistency; on an omission (or separation) operator; on an extension operator (called in the paper a Lindenbaum operator); and on the idea of maximality. All these metalogics, including the (...)
    No categories
     
    Export citation  
     
    Bookmark  
  12.  50
    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.  19
    Reviews. [REVIEW]Stanisław J. Surma, Ewa Orłowska, R. Murawski, Wanda Charczuk & Walenty Staszek - 1974 - Studia Logica 33 (2):215-231.