2019
Том 71
№ 11

All Issues

Denisov A. S.

Articles: 1
Brief Communications (Russian)

Satisfiability of bright formulas

Denisov A. S.

↓ Abstract   |   Full text (.pdf)

Ukr. Mat. Zh. - 2007. - 59, № 10. - pp. 1432–1435

We investigate one solvable subclass of quantified formulas in pure predicate calculus and obtain a necessary and sufficient condition for the satisfiability of formulas from this subclass.