Abstract

The study of propositional realizability logic was initiated in the 50th of the
last century. Unfortunately, no description of the class of realizable propositional formulas
is found up to now. Nevertheless some attempts of such a description were made. In 1974
the author proved that every known realizable propositional formula has the property
that
... read more