|
Zapiski Nauchnykh Seminarov LOMI, 1976, Volume 60, Pages 197–206
(Mi znsl2079)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
On the recognition of the tautological nature of propositional formulas
P. Yu. Suvorov
Abstract:
A formal language whose propositions express (in some sense) the properties of propositional formulas is described in the paper. For a certain subset of propositions of this language it is proved that each of them defines a class of propositional formulas, on which it is possible to recognize the tautological nature in a time polynomially dependent on the formula's length.
Citation:
P. Yu. Suvorov, “On the recognition of the tautological nature of propositional formulas”, Studies in constructive mathematics and mathematical logic. Part VII, Zap. Nauchn. Sem. LOMI, 60, "Nauka", Leningrad. Otdel., Leningrad, 1976, 197–206; J. Soviet Math., 14:5 (1980), 1556–1562
Linking options:
https://www.mathnet.ru/eng/znsl2079 https://www.mathnet.ru/eng/znsl/v60/p197
|
Statistics & downloads: |
Abstract page: | 138 | Full-text PDF : | 49 |
|