Studia Logica

, Volume 9, Issue 1, pp 163–176 | Cite as

Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach. cz. i

Основные свойства дедуктивных систем, основанных на неклассических логиках. ч. І

  • Witold A. Pogorzelski
  • Jerzy Słupecki
Article

Basic properties of deductive systems based on nonclassical logics. Part I

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliografia

  1. (1).
    A. Church:Introduction to Mathematical Logic, Part I, „Annals of mathematics studies”, No 13, Princeton, 1944.Google Scholar
  2. (2).
    K. Gödel:Eine Interpretation des intuitionistischen Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums, IV (1933).Google Scholar
  3. (3).
    E. I. Lemmon, C. A. Meredith, D. Meredith, A. N. Prior, I. Thomas:Calculi of pure strict implication, Philosophy Department, Canterbury University College, Christchurch, New Zealand, 1957.Google Scholar
  4. (4).
    S. Leśniewski:Grundzüge eines neuen Systems der Grundlagen der Mathematik, „Fundamenta Mathematicae”, 14 (1929).Google Scholar
  5. (5).
    J. Łukasiewicz:Die Logik und das Grundlagenproblem, Entretiens de Zürich sur les fondements et la méthode des sciences mathématiques, 8–9 Decembre 1938, Zürich.Google Scholar
  6. (6).
    J. Słupecki:Der volle dreiwertige Aussagenkalkül, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, XXIX, 1936 cl. III.Google Scholar
  7. (7).
    J. Słupecki:Über die Regeln des Aussagenkalküls, „Studia Logica”, tom I, 1953.Google Scholar
  8. (8).
    A. Tarski:Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften, „Monatshefte für Mathematik und Physik”, XXXVII Band, Leipzig, 1930.Google Scholar
  9. (9).
    A. Tarski:Über einige fundamentale Begriffe der Metamathematik, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, vol. 23, 1930, cl. III.Google Scholar

Copyright information

© Swets & Zeitlinger B.V. 1960

Authors and Affiliations

  • Witold A. Pogorzelski
  • Jerzy Słupecki

There are no affiliations available

Personalised recommendations