Sakharov Aleksandr

Publications in Math-Net.Ru

1. Analytic sequent calculi with nonlogical axioms
   
   Zap. Nauchn. Sem. POMI, 528 (2023),  166–194
2. Fuzzy non-horn knowledge bases: calculi, models, inference
   
   Zap. Nauchn. Sem. POMI, 517 (2022),  176–190