1. Matrix approach in methodology of sentential calculi

   • Ryszard Wójcicki

   OriginalPaper Pages: 7 - 37

2. Matrycowe podejście w metodologii rachunków zdaniowych

   • R. Wójcicki

   Report Pages: 38 - 38

3. Матричный подход в методологии исчислений высказываний

   Report Pages: 39 - 39

4. A complete negationless system

   • David Nelson

   OriginalPaper Pages: 41 - 47

5. Pełny system beznegacyjny

   • D. Nelson

   Report Pages: 48 - 48

6. Полная Безотрицателяная Система

   • Д. Нельсон

   Report Pages: 49 - 49

7. Classical relevant logics. I

   • Robert K. Meyer
   • Richard Routley

   OriginalPaper Pages: 51 - 66

8. Klasyczne logiki relewantne

   • R. K. Meyer
   • R. Routley

   Report Pages: 67 - 67

9. Релевантные Классические Логики

   • Р. К. Мейер
   • Р. Раутлей

   Report Pages: 68 - 68

10. Structural completeness of Gödel's and Dummett's propositional calculi

    • Wojciech Dzik
    • Andrzej Wroński

    OriginalPaper Pages: 69 - 73

11. Strukturalna zupełność rachunków zdań Gödla i rachunku zdań Dummetta

    • W. Dzik
    • A. Wroński

    Report Pages: 74 - 74

12. Структуральная полнота исчислений высказываний гёделя и исчисления высказываний дамметта

    • В. Дзик
    • А. Вроньски

    Report Pages: 75 - 75

13. Connections between some notions of completeness of structural propositional calculi

    • Marek Tokarz

    OriginalPaper Pages: 77 - 89

14. Związki między pewnymi pojęciami zupełności strukturalnych rachunków zdaniowych

    Report Pages: 90 - 90

15. Соотношения некоторых понятий полноты структурных пропозициональных исчислений

    • М. Токаж

    BriefCommunication Pages: 91 - 91

16. Proof of structural completeness of a certain class of implicative propositional calculi

    • Tadeusz Prucnal

    OriginalPaper Pages: 93 - 96

17. Dowód strukturalnej zupełności pewnej klasy implikacyjnych rachunków zdaniowych

    • T. Prucnal

    Report Pages: 97 - 97

18. Доказательство структурной полноты некоторого класса импликативных исчислений высказываний

    • Т. Пруцналь

    Report Pages: 97 - 97

19. Proof of Ł-decidability of Lewis system S5

    • Jerzy Słupecki
    • Grzegorz Bryll

    OriginalPaper Pages: 99 - 105

20. Dowód Ł-rozstrzygalności systemu S5 Lewisa

    • J. Słupecki
    • G. Bryll

    Report Pages: 106 - 106

21. Доказательство Ł-разрешимости системы S5 льюиса

    • Е. Слупецки
    • Г. Брыль

    Report Pages: 107 - 107

22. The diagrams of formulas of the intuitionistic propositional calculus

    • Anita Wasilewska

    OriginalPaper Pages: 109 - 113

23. Diagramy dla formuł intuicjonistycznego rachunku zdań

    • A. Wasilewska

    Report Pages: 114 - 114

24. Диограммы для формул интуиционистского исчисления предложений

    • А. Василевска

    Report Pages: 115 - 115

25. Elimination of bound variables in logic with an arbitrary quantifier

    • Roman Doraczyński

    OriginalPaper Pages: 117 - 127

26. Eliminacja zmiennych związanych w logice z dowolnym kwantyfikatorem

    • R. Doraczyński

    Report Pages: 128 - 128

27. Исключение связанных переменных в логике с произвольным квантором

    • Р. Дорачиньски

    Report Pages: 129 - 129

28. Proof of decidability of the traditional calculus of names

    • Bogusław Iwanuś

    OriginalPaper Pages: 131 - 145

29. Dowód rozstrzygalności tradycyjnego rachunku nazw

    • B. Iwanuś

    Report Pages: 146 - 146

30. Доказательство разрешимости традиционного исчисления имён

    • Б. Иванусь

    Report Pages: 147 - 147

31. Remarks to Zinov'ev's complex logic

    • Imre Ruzsa

    OriginalPaper Pages: 149 - 157

32. Uwagi o logice kompleksowej Zinowjewa

    • I. Ruzsa

    Report Pages: 158 - 158

33. Заметки по поводу комлексной логики зиновьева

    • И. Ружа

    Report Pages: 158 - 158

34. Definability of classes of graphs in the first order predicate calculus with identity

    • Leszek Koncewicz

    OriginalPaper Pages: 159 - 188

35. Definiowalność klas grafów w węższym rachunku predykatów z identycznością

    • L. Koncewicz

    Report Pages: 189 - 190

36. Определимостя классов графов в исчислении предикатов первого порыдка с равенством

    • Л. Концевич

    Report Pages: 190 - 190

37. Recenzje

    • Tadeusz Zgółka
    • Krystyna Zamiara
    • Jerzy Słupecki

    BookReview Pages: 191 - 202

38. Przegląd czasopism

    Legacy Pages: 203 - 208

39. Bibliografia

    Legacy Pages: 209 - 213