Matulis Vilyus Aleksovich

Publications in Math-Net.Ru

1. Variants of the classical predicate calculus with a unique tree of deduction
   
   Dokl. Akad. Nauk SSSR, 148:4 (1963),  768–770
2. Two variants of the classical predicate calculus without structural inference rules
   
   Dokl. Akad. Nauk SSSR, 147:5 (1962),  1029–1031


3. Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода” (ДАН, т. 147, № 5, 1962 г.)
   
   Dokl. Akad. Nauk SSSR, 158:3 (1964),  502
4. The First All-Union Symposium on the Problem of Machine Searching the Logical Deduction
   
   Uspekhi Mat. Nauk, 19:6(120) (1964),  239–241