Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 6.01.1951
Phone: 8-(391)206-21-48
Fax: 8-(391)206-21-48
E-mail: , , ,
Website: https://math.sfu-kras.ru/node/303
Keywords: mathematical logics modal and temporal logics intuitionistic logic paraconsistent logics informatics computer science knowledge representation universal algebra
UDC: 510.6, 512, 517.11, 519.48, 510.643

Subject:

mathematical logics modal and temporal logics intuitionistic logic paraconsistent logics informatics computer science knowledge representation universal algebra

Main publications:

1. V. V. Rybakov, Admissibility of Logical Inference Rules, Studies in Logic and Foundations of Mathematics, 136, Elsevier, P.O. Box 211, 1000 AE Amsterdam, The Netherlands, 1997

Publications in Math-Net.Ru

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• 

Organisations:

• A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
• Manchester Metropolitan University
• Institute of Mathematics and Computer Science, Siberian Federal University, Krasnoyarsk