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