Mehmet Terziler

Publication Activity (10 Years)

Years Active: 1997-2015
Publications (10 Years): 1

Top Topics

Propositional Logic

Top Venues

Reports Math. Log.

Publications

Ahmet Hamal, Mehmet Terziler
Peritopological Spaces and Bisimulations. Reports Math. Log. 50 (2015)
Tahsin Oner, Mehmet Terziler
Independence Of Countable Sets Of Formulas Of The Propositional Logic. Ars Comb. 112 (2013)
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) (2002)
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) (2000)
Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
Unification and passive inference rules for modal logics. J. Appl. Non Class. Logics 10 (3-4) (2000)
Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
On Self-Admissible Quasi-Characterizing Inference Rules. Stud Logica 65 (3) (2000)
Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler
Independent Bases for Rules Admissible in Pretabular Logics. Log. J. IGPL 7 (2) (1999)
Çigdem Gencer, Mehmet Terziler
On a Question of Phillips. Math. Log. Q. 43 (1997)