|
Zapiski Nauchnykh Seminarov LOMI, 1981, Volume 105, Pages 24–44
(Mi znsl3397)
|
|
|
|
This article is cited in 14 scientific papers (total in 14 papers)
Two tautologihood proof systems based on the split method
E. Ya. Dantsin
Abstract:
Two systems for generating of all propositional tautologies and only them are considered. In every of these calculuses there are one axiom and one rule of inference. Proofs for tautologies of many well-known classes with polinomial time recognition algorithm have linear length in these systems. Various formulae's characteristics that influence on length of proofs are studied (one of them is a symmetry of formulae).
Citation:
E. Ya. Dantsin, “Two tautologihood proof systems based on the split method”, Theoretical application of methods of mathematical logic. Part III, Zap. Nauchn. Sem. LOMI, 105, "Nauka", Leningrad. Otdel., Leningrad, 1981, 24–44; J. Soviet Math., 22:3 (1983), 1293–1305
Linking options:
https://www.mathnet.ru/eng/znsl3397 https://www.mathnet.ru/eng/znsl/v105/p24
|
Statistics & downloads: |
Abstract page: | 181 | Full-text PDF : | 124 |
|