On a Question of Phillips. - Çigdem Gencer; Mehmet Terziler (Math. Log. Q., 1997)

Independent Bases for Rules Admissible in Pretabular Logics. - Vladimir V. Rybakov; Vladimir R. Kiyatkin; Mehmet Terziler (Log. J. IGPL, 1999)

Unification and passive inference rules for modal logics. - Vladimir V. Rybakov; Mehmet Terziler; Çigdem Gencer (J. Appl. Non Class. Logics, 2000)

A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. - Vladimir V. Rybakov; Mehmet Terziler; Vitaliy Remazki (Math. Log. Q., 2000)

On Self-Admissible Quasi-Characterizing Inference Rules. - Vladimir V. Rybakov; Mehmet Terziler; Çigdem Gencer (Stud Logica, 2000)

On the Additive Group Structure of the Nonstandard Models of the Theory of Integers. - Hasan Dalgin; Labib Haddad; Mehmet Terziler (Math. Log. Q., 2002)

Independence Of Countable Sets Of Formulas Of The Propositional Logic. - Tahsin Oner; Mehmet Terziler (Ars Comb., 2013)

Peritopological Spaces and Bisimulations. - Ahmet Hamal; Mehmet Terziler (Reports Math. Log., 2015)