Okhotnikov Oleg Alievich

Publications in Math-Net.Ru

1. On normal deduction proofs in intuitionistic natural predicate calculus
   
   Trudy Inst. Mat. i Mekh. UrO RAN, 30:4 (2024),  188–206
2. About proof-search in classical natural deduction calculus using partial skolemization
   
   Intelligent systems. Theory and applications, 23:4 (2019),  39–90