| Rybakov V, Terziler M, Rimatski V |
Description of a basis in a semi reduced form for inference rules of intionistic logic | Algebra and Logic, 39(6), 412-422. |
Springer 2000 |
| Rybakov V, Terziler M, Gencer C |
Unification and passive inference rules for modal logics | J.A.Non-Classical Logics, 10( 3-4), 369-377. |
Endekste taranmıyor 2000 |
| Rybakov V, Terziler M, Gencer C |
On self admissible quasicharacterizing inference rules | Studia Logica, 65(3), 417-428. |
Springer 2000 |
| Rybakov V, Kiyatkin V, Terziler M |
Independent bases for admissible rules in pretable logics | Algebra and logic, 39( 2), 119-139. |
Springer 2000 |
| Rybakov V, Terziler M, Gencer C |
An essay on unification and inference rules for modal logics | Bull. Sect. Logic Univ., 28( 3), 145-157. |
Endekste taranmıyor 1999 |
| RybakovV, Kiyatkin V, Terziler M |
Independent bases for admissible in pretabular logics | Log. J. IGPL, 7(2), 253-266. |
Oxford Open 1999 |
| Rybakov V, Terziler M, GencerC |
Description of self admissible quasi characterizing inference rules | Bull. Sect. Logic Univ., 27(4), 164-172. |
Endekste taranmıyor 1998 |
| TERZİLER MEHMET |
A Short Proof for Simplicity of the Filter Incompatible with Boolean Algebras Vareties in the Interpretability Lattice | Doğa Math., 17( 3), 270-272. |
American Mathematical Society 1993 |
| TERZİLER MEHMET |
La representation Booleienne via le calcul propositionnel French Boolean representation via propositional calculus | International Nazim terzioglu syposium on MAthematics, 5(1), 245-252. |
Zentralblatt MATH 1982 |
