References
J. Slupecki,St. Leśniewski's Protothetics, Studia Logica T. I. (1953).
A. Mostowski,Logika matematyczna, Warszawa-Wrocław 1948, rozdz. III.
Podany tu dowód stanowi pierwszą część dowodu twierdzenia 3. Dla dowodu samego twierdzenia 1 wystarczy oczywiście interpretacja w zbiorze dwuelementowym.
J. Slupecki, j. w.St. Leśniewski's Protothetics, Studia Logica T. I. (1953).
A. Grzegorczyk,Zarys logiki matematycznej, Warszawa 1961, rozdz. IV, § 4g i § 5e.
Aksjomaty teorii Rk nie są oczywiście niezależne, a nawet niektóre z nich są tautologiami.
Zakres zmienności dla zmiennych funkcyjnych ograniczamy do zbioru Φ tylko ze względu na dowód twierdzenia 9. Przyjęta interpretacja kwantyfikatorów jest omówiona po dowodzie twierdzenia 5.
Interpretacja przyjęta w dowodzie twierdzenia 8 potrzebna jest dla dowodu twierdzenia 9.
Rights and permissions
About this article
Cite this article
Wielądek, R. Logika zdań bez prawa ekstensjonalności. Stud Logica 24, 187–206 (1969). https://doi.org/10.1007/BF02134319
Issue Date:
DOI: https://doi.org/10.1007/BF02134319