Terziler Mehmet

Publications in Math-Net.Ru

1. DescrIbing a basis in semireduced form for inference rules of intuitionistic logic
   
   Algebra Logika, 39:6 (2000),  720–740
2. Independent bases for admissible rules in pretable logics
   
   Algebra Logika, 39:2 (2000),  206–226