Bulletin of the Section of Logic
Tom 15 ( 1986), Nr 3

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Checked:

Decidability in Pratt's process logic

Zdzisław Habasiński
Gentzen semantics for de Morgan lattice logic

Andre T. Fuhrmann
A hypothesis on the finiteness of graphs for Lukasiewicz's precomplete logics : graphs for prime numbers

Alexander S. Karpenko
The bibinary semantics for R and Lω

Vladimir L. Vasyukov
On the operations definable in terms of the complementation and the closure

Stanisław Wroński
Lower level connections between representations of relation algebras : abstract

Gyorgy Sereny