Хомич Валентин Иванович

Публикации в базе данных Math-Net.Ru

1. О свойстве простой подстановки для суперинтуиционистских пропозициональных логик и о его связи с их свойством отделимости
   
   Изв. РАН. Сер. матем., 67:2 (2003),  181–210
2. К вопросу об отделимости нормализуемых суперинтуиционистских пропозициональных логик
   
   Матем. заметки, 64:4 (1998),  606–615
3. О вложимости некоторых обобщений псевдобулевых алгебр
   
   Докл. РАН, 350:2 (1996),  174–177
4. О представлении конечных псевдобулевых алгебр и об одном его применении
   
   Матем. заметки, 52:2 (1992),  127–137
5. О суперинтуиционистских пропозициональных логиках, связанных с частично упорядоченными множествами
   
   Изв. АН СССР. Сер. матем., 55:2 (1991),  384–406
6. О свойствах суперинтуиционистских пропозициональных исчислений
   
   Сиб. матем. журн., 31:6 (1990),  158–175
7. О проблеме отделимости для суперинтуиционистских пропозициональных логик
   
   Докл. АН СССР, 254:4 (1980),  820–823
8. Теорема отделимости для суперинтуиционистских исчислений высказываний
   
   Докл. АН СССР, 229:6 (1976),  1327–1329
9. О сложности реализации пропозициональных формул
   
   Докл. АН СССР, 195:5 (1970),  1050–1051
10. О сложности алгорифмов, связанных с реализацией логико-арифметических и пропозициональных формул
    
    Докл. АН СССР, 191:5 (1970),  1004–1006