Search the dblp DataBase

Publications of Author

1. Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler
   Independent Bases for Rules Admissible in Pretabular Logics. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:2, pp:253-266 [Journal]
   
2. Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
   Unification and passive inference rules for modal logics. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
   
3. Hasan Dalgin, Labib Haddad, Mehmet Terziler
   On the Additive Group Structure of the Nonstandard Models of the Theory of Integers. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:403-412 [Journal]
   
4. Çigdem Gencer, Mehmet Terziler
   On a Question of Phillips. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1997, v:43, n:, pp:78-82 [Journal]
   
5. Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki
   A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:2, pp:207-218 [Journal]
   
6. Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
   On Self-Admissible Quasi-Characterizing Inference Rules. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:65, n:3, pp:417-428 [Journal]