×

zbMATH — the first resource for mathematics

Terziler, Mehmet

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

Publications by Year

Citations contained in zbMATH Open

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