Mehmet Terziler

According to our database, Mehmet Terziler authored at least 8 papers between 1997 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Peritopological Spaces and Bisimulations.

Ahmet Hamal, Mehmet Terziler

Reports Math. Log., 2015

2013

Independence Of Countable Sets Of Formulas Of The Propositional Logic.

Tahsin Oner, Mehmet Terziler

Ars Comb., 2013

2002

On the Additive Group Structure of the Nonstandard Models of the Theory of Integers.

Hasan Dalgin, Labib Haddad, Mehmet Terziler

Math. Log. Q., 2002

2000

On Self-Admissible Quasi-Characterizing Inference Rules.

Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer

Stud Logica, 2000

A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.

Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki

Math. Log. Q., 2000

Unification and passive inference rules for modal logics.

Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer

J. Appl. Non Class. Logics, 2000

1999

Independent Bases for Rules Admissible in Pretabular Logics.

Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler

Log. J. IGPL, 1999

1997

On a Question of Phillips.

Çigdem Gencer, Mehmet Terziler

Math. Log. Q., 1997