×
Compute Distance To:
Author ID: terziler.mehmet Recent zbMATH articles by "Terziler, Mehmet"
Published as: Terziler, Mehmet; Terziler, M.
Documents Indexed: 17 Publications since 1983
Co-Authors: 12 Co-Authors with 15 Joint Publications
99 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 29 times in 28 Documents Cited by Year
An essay on unification and inference rules for modal logics. Zbl 0952.03019
Rybakov, V. V.; Terziler, M.; Gencer, C.
8
1999
A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. Zbl 0955.03037
Rybakov, Vladimir V.; Terziler, Mehmet; Remazki, Vitaliy
7
2000
Unification and passive inference rules for modal logics. Zbl 1040.03014
Rybakov, V. V.; Terziler, M.; Gencer, C.
4
2000
Independent bases for rules admissible in pretabular logics. Zbl 0956.03024
Rybakov, V.; Kiyatkin, V.; Terziler, M.
3
1999
The eigenvalue problem for a matrix of a special form and its applications. Zbl 0877.15009
Guseinov, Gusein; Terziler, Mehmet
3
1997
Independence of countable sets of formulas of the propositional logic. Zbl 1313.03001
Öner, Tahsin; Terziler, Mehmet
2
2013
On self-admissible quasi-characterizing inference rules. Zbl 0969.03032
Rybakov, V. V.; Terziler, M.; Gencer, C.
1
2000
On a question of Phillips. Zbl 0869.03033
Gencer, Çiğdem; Terziler, Mehmet
1
1997
Independence of countable sets of formulas of the propositional logic. Zbl 1313.03001
Öner, Tahsin; Terziler, Mehmet
2
2013
A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. Zbl 0955.03037
Rybakov, Vladimir V.; Terziler, Mehmet; Remazki, Vitaliy
7
2000
Unification and passive inference rules for modal logics. Zbl 1040.03014
Rybakov, V. V.; Terziler, M.; Gencer, C.
4
2000
On self-admissible quasi-characterizing inference rules. Zbl 0969.03032
Rybakov, V. V.; Terziler, M.; Gencer, C.
1
2000
An essay on unification and inference rules for modal logics. Zbl 0952.03019
Rybakov, V. V.; Terziler, M.; Gencer, C.
8
1999
Independent bases for rules admissible in pretabular logics. Zbl 0956.03024
Rybakov, V.; Kiyatkin, V.; Terziler, M.
3
1999
The eigenvalue problem for a matrix of a special form and its applications. Zbl 0877.15009
Guseinov, Gusein; Terziler, Mehmet
3
1997
On a question of Phillips. Zbl 0869.03033
Gencer, Çiğdem; Terziler, Mehmet
1
1997

Citations by Year