Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Ключевые слова: математическая логика, дискретная математика, алгебра, информатика.
Коды УДК: 510.6

Основные темы научной работы:

Математическая логика, дискретная математика, алгебра, информатика.

Основные публикации:

• Шабунин Л. В. Теорема вложения для многообразий Кантора // Алгебра и логика, 2001, 40:3, 352–369.
• Шабунин Л. В. Об элементарной эквивалентности свободных алгебр многообразий Кантора // Алгебра и логика, 1999, 38:2, 228–248.
• Шабунин Л. В. Об элементарной эквивалентности свободных квазигрупп // Фундамент. и прикл. матем., 1999, 5:3, 885–901.
• Шабунин Л. В. О конечно-определенных и свободных алгебрах многообразий Кантора // Сиб. матем. журн., 1997, 38:2, 450–462.
• Шабунин Л. В. Разрешимость элементарных теорий некоторых конечно-определенных алгебр // Алгебра и логика, 1991, 30:4, 457–477.
• Шабунин Л. В. Разрешимость теорий конечно-определенных квазигрупп из R-многообразий квазигрупп // Сиб. матем. журн., 1991, 32:3, 201–211.
• Шабунин Л. В. Об элементарных теориях конечно-определенных луп со свойством обратимости // Дискрет. матем., 1991, 3:4, 79–90.
• Шабунин Л. В. Разрешимость элементарной теории конечноопределенной квазигруппы // Матем. заметки, 1990, 47:4, 138–146.
• Шабунин Л. В. Разрешимость элементарных теорий конечно-определенных алгебр многообразия алгебр, заданного пустой системой тождеств // Матем. заметки, 1989, 45:5, 93–102.
• Shabunin L. V. On the interpretation of combinators with weak reduction // J. Symbol. Log., 1983, 48:3, 558–563.
• Шабунин Л. В. Некоторые массовые проблемы исчислений комбинаторной логики // Вестн. МГУ, матем., механ., 1974, 6, 36–41.
• Шабунин Л. В. О непротиворечивости некоторых исчислений комбинаторной логики // Вестн. МГУ, матем., механ., 1971, 6, 71–75.

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

Персональные страницы:

• 
• 

Организации:

• Чувашский государственный университет им. И. Н. Ульянова