11 found
Order:
  1.  34
    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.  37
    Twierdzenia o dedukcji niewprost.Stanisław J. Surma - 1967 - Studia Logica 20 (1):151-160.
  3.  39
    Cztery Studia Z Metamatematyki.Stanisław J. Surma - 1968 - Studia Logica 23 (1):79-102.
  4.  26
    Twierdzenia o dedukcji dla implikacji zstępujących.Stanisław J. Surma - 1968 - Studia Logica 22 (1):61-77.
  5.  9
    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.
  6.  11
    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  
  7.  31
    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.  29
    Conference on Stanisław Leśniewski's Achievement.Stanisław J. Surma - 1977 - Studia Logica 36 (4):247-248.
  10.  14
    Reviews. [REVIEW]Stanisław J. Surma, Ewa Orłowska, R. Murawski, Wanda Charczuk & Walenty Staszek - 1974 - Studia Logica 33 (2):215-231.
  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
    Translate
     
     
    Export citation  
     
    Bookmark