TYTUŁ

Bulletin of the Section of Logic 1973 / Tom 2 / Numer 2

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

1973 / Tom 2 / Numer 2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

The conference on the scientific achivement of Mordchaj Wajsberg

s. 87 - 89

Stanisław J. Surma

CZYSTY TEKST

BIBTEX
Mordchaj Wajsberg : life and works

s. 91 - 94

Stanisław J. Surma

CZYSTY TEKST

BIBTEX
Wajsberg's algorithm for the classical propositional calculus

s. 97 - 100

Ewa Żarnecka-Biały

CZYSTY TEKST

BIBTEX
A survey of minor Wajsberg's results concerning fragmentary systems of the classical propositional calculus

s. 103 - 105

Teodor Stępień

CZYSTY TEKST

BIBTEX
Wajsberg on the first-order predicate calculus for the finite models

s. 107 - 110

Jan Woleński

CZYSTY TEKST

BIBTEX
Wajsberg's semantics for the system S5 of Lewis

s. 112 - 115

Stanisław Zachorowski

CZYSTY TEKST

BIBTEX
Axiomatizability of finite matrices

s. 118 - 120

Władysław Szczęch

CZYSTY TEKST

BIBTEX
Application of the theory of logical matrices in the independence proof

s. 121 - 124

Wojciech Suchoń

CZYSTY TEKST

BIBTEX
On problems of definability of propositional connectives

s. 127 - 129

Jacek K. Kabziński

CZYSTY TEKST

BIBTEX
The Wajsberg's results connected with separability of the intuitionistic propositional logic

s. 131 - 133

Jacek K. Kabziński

CZYSTY TEKST

BIBTEX
The degree of completeness of Godel's logic

s. 134 - 137

Paweł Bielak

CZYSTY TEKST

BIBTEX
A method of the constructions of characterization of Lukasiewiczian logics

s. 139 - 142

Stanisław J. Surma

CZYSTY TEKST

BIBTEX
Axiomatization of finite N-algebras by the method of T.Hosoi

s. 144 - 147

Czesław Wojtkiewicz

CZYSTY TEKST

BIBTEX
The degree of completeness of some fragments of the intuitionistic propositional logic

s. 149 - 153

Andrzej Wroński

CZYSTY TEKST

BIBTEX