SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Volumn 29, Issue 1, 1971, Pages 75-115

Theory of rejected propositions. I

(3) Słupecki, Jerzy a,b,c Bryll, Grzegorz a,b,c Wybraniec Skardowska, Urszula a,b,c

a UNIVERSITY OF WROC AW (Poland)

b Wyzsza Szkoła Inzynierska ^* (Poland)

c Wyzsza Szkoła Pedagogiczna ^* (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 24244473919 PISSN: 00393215 EISSN: 15728730 Source Type: Journal
DOI: 10.1007/BF02121863 Document Type: Article

Times cited : (35)

References (32)

1
- 84933881813
- Kilka uzupelnień teorii zdań odrzuconych
- Some Supplements of Theory of Rejected Sentences
- (1969) Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie , vol.22 , pp. 133-154
- Eryll, G.¹

2
- 2342494225
- Zwiqzki logiczne pomiędzy zdaniami nauk empirycznych
- Logical Relations between Sentences of Empirical Sciences
- (1969) Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie , vol.22 , pp. 155-216
- Bryll, G.¹

3
- 84933869143
- G. Bryll, M. Maduch, Aksjomaty odrzucone dla wielowartościowych logik Łukasiewicza (Rejected Axioms for Łukasiewicz's Many-Valued Logics). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Matematyka VI, Logika i algebra (1969), pp. 3–19.

4
- 84933869144
- A. Grzegorczyk, Zarys logiki matematycznej (Mathematical Logic). Warszawa 1961.

5
- 34250496434
- Uwagi o dowodzie sformalizowanym i konsekwencji
- Remarks on Formalized Proof and Consequence
- (1969) Studia Logica , vol.25 , pp. 151-158
- Gumański, L.¹

6
- 84933869145
- K. Kuratowski, Topologie, I, ed. 2. Monografie Matematyczne, t. XXIX, Warszawa 1948.

7
- 0003020020
- O podstawach matematyki (Cz. XI)
- (1931) Przegląd Filozoficzny , vol.34 , pp. 142-170
- Leśniewski, S.¹

8
- 84933913073
- Podstawy analizy metodologicznej kanonów Milla
- (1947) Annales Universitatis Mariae Curie-Skłodowska, Lublin, Sectio F , vol.2 , pp. 5
- Łoś, J.¹

9
- 84933869791
- J. Łukasiewicz, O sylogistyce Arystotelesa. Sprawozdania z czynności i posiedzeń Polskiej Akademii Umiejętności, 44 (1939). (See also: J. Łukasiewicz, Z zagadnień logiki i filozofii. Warszawa 1961, pp. 220–227).

10
- 84933869792
- J. Łukasiewicz, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Oxford 1951.

11
- 24444452587
- On the Intuitionistic Theory of Deduction
- (1952) Indagationes Mathematicae. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A , vol.3 , pp. 202-212
- Łukasiewicz, J.¹

12
- 14044253460
- A System of Modal Logic
- (See also: Actes du XV³ Congres International de Philosophie. XIV, pp. 72–78)
- (1953) The Journal of Computing Systems , vol.1 , Issue.3 , pp. 111-149
- Łukasiewicz, J.¹

13
- 84933869793
- J. Łukasiewicz, O twórczości w nauce. Księga pamiqtkowa ku uczczeniu 250 rocznicy zalożenia Uniwersytetu Lwowskiego. Lwów 1912, pp. 1–15. (See also: J. Łukasiewicz, Z zagadnień logiki i filozofii. Warszawa 1961, pp. 66–75).

14
- 54749092901
- Logika dwuwartościowa
- (1921) Przegląd Filozoficzny , vol.23 , pp. 189-205
- Łukasiewicz, J.¹

15
- 84933869787
- M. Maduch, Pewna interpretacja zdań empirycznych. Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria A, Matematyka X, Logika matematyczna (1970), pp. 43–49.

16
- 84933869788
- A. Mostowski, Logika Matematyczna. Monografie Matematyczne. PTM, Warszawa-Wroclaw 1948.

17
- 84933869789
- W. Pogorzelski, Klasyczny rachunek zdań. Warszawa 1969.

18
- 84933869790
- W. A. Pogorzelski, J. Słupecki, O dowodzie matematycznym. Biblioteczka Matematyczna Nr 11. Warszawa 1962.

19
- 84933869794
- W. A. Pogorzelski, J. Słupecki, Dowód pełności klasycznego rachunku zdań na gruncie aksjomatycznej metodologii. Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 4 (1962).

20
- 84933869795
- J. Słupecki, Z badań nad sylogistyką Arystotelesa. Prace Wrocławskiego Towarzystwa Naukowego, Seria B, nr 6. Wrocław 1948.

21
- 84933858275
- Funkcja Łukasiewicza
- (1959) Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B , vol.3 , pp. 33-40
- Słupecki, J.¹

22
- 84933869796
- J. Słupecki, L. Borkowski, Elementy logiki matematycznej i teorii mnogości. Ed. 2, Warszawa 1966.

23
- 34250578456
- A Variant of the Proof of the Completeness of the First Order Functional Calculus
- (1961) Studia Logica , vol.12 , pp. 125-134
- Słupecki, J.¹ Pogorzelski, W.A.²

24
- 34250477879
- Z badań nad klasyczną logiką nazw
- On the Classical Logic of Names
- (1969) Studia Logica , vol.25 , pp. 169-188
- Staszek, W.¹

25
- 84933869808
- W. Staszek, On Proofs of Rejection. Studia Logica, 29 (1971).

26
- 84933869809
- W. Staszek, O interpretacji konsekwencji odrzucaniowej (typescript).

27
- 84933886113
- Uproszczona aksjomatyka teorii konsekwencji Tarskiego
- Simplified Axiomatic for Tarski's Theory of Consequence
- (1969) Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria A, Matematyka , vol.6 , pp. 78-86
- Surma, S.J.¹

28
- 34250578459
- Concerning the Method of Logical Schemes, the Notion of logical Calculus and the Role of Consequence Relations
- (1961) Studia Logica , vol.11 , pp. 185-214
- Suszko, R.¹

29
- 34347194111
- Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften I
- (1930) Monatshefte für Mathematik und Physik , vol.37 , pp. 361-404
- Tarski, R.¹

30
- 0009288137
- Über einige fundamentale Begriffe der Metamathematik
- (1930) Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Cl. III , vol.23 , pp. 22-29
- Tarski, A.¹

31
- 2342552902
- Teoria zdań odrzuconych
- Theory of Rejected Sentences
- (1969) Zeszyty Naukowe Wyższej Szkoły Pedagogicznej) w Opolu, Studia i monografie , vol.22 , pp. 5-131
- Wybraniec-Skardowska, U.¹

32
- 84933869806
- Acta Universitatis Vratislaviensis, No 21, Prace Filozoficzne II, Wrocław
- (1964) O zasięgach niektórych teorii konsekwencji
- Wójcicki, R.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.