On decidability of one class of boolean formulas
On information storage and retrieval systems
On logical wholeness of an (axiomatic) formal theory
On the axiomatisation of Boolean categories with and without medial.
On the decidability of p', p'' and p''*.
On The Exponential Properties Of The Implication
On the exponential properties of the implication.
On the restricted equivalence for subclasses of propositional logic
One of the Possible Formal Desribtions of Deducubility