Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Keywords: mathematical logic, discrete mathematics, algebra, computer science.
UDC: 510.6

Subject:

Mathematical logic, discrete mathematics, algebra, computer science.

Main publications:

• Shabunin L. V. Teorema vlozheniya dlya mnogoobrazii Kantora // Algebra i logika, 2001, 40:3, 352–369.
• Shabunin L. V. Ob elementarnoi ekvivalentnosti svobodnykh algebr mnogoobrazii Kantora // Algebra i logika, 1999, 38:2, 228–248.
• Shabunin L. V. Ob elementarnoi ekvivalentnosti svobodnykh kvazigrupp // Fundament. i prikl. matem., 1999, 5:3, 885–901.
• Shabunin L. V. O konechno-opredelennykh i svobodnykh algebrakh mnogoobrazii Kantora // Sib. matem. zhurn., 1997, 38:2, 450–462.
• Shabunin L. V. Razreshimost elementarnykh teorii nekotorykh konechno-opredelennykh algebr // Algebra i logika, 1991, 30:4, 457–477.
• Shabunin L. V. Razreshimost teorii konechno-opredelennykh kvazigrupp iz R-mnogoobrazii kvazigrupp // Sib. matem. zhurn., 1991, 32:3, 201–211.
• Shabunin L. V. Ob elementarnykh teoriyakh konechno-opredelennykh lup so svoistvom obratimosti // Diskret. matem., 1991, 3:4, 79–90.
• Shabunin L. V. Razreshimost elementarnoi teorii konechnoopredelennoi kvazigruppy // Matem. zametki, 1990, 47:4, 138–146.
• Shabunin L. V. Razreshimost elementarnykh teorii konechno-opredelennykh algebr mnogoobraziya algebr, zadannogo pustoi sistemoi tozhdestv // Matem. zametki, 1989, 45:5, 93–102.
• Shabunin L. V. On the interpretation of combinators with weak reduction // J. Symbol. Log., 1983, 48:3, 558–563.
• Shabunin L. V. Nekotorye massovye problemy ischislenii kombinatornoi logiki // Vestn. MGU, matem., mekhan., 1974, 6, 36–41.
• Shabunin L. V. O neprotivorechivosti nekotorykh ischislenii kombinatornoi logiki // Vestn. MGU, matem., mekhan., 1971, 6, 71–75.

Publications in Math-Net.Ru

Personal pages:

• 
• 

Organisations:

• Chuvash State University