Dr. Öğr. Üyesi MOHAMED KHALED MOHAMED ISMAIL KHALIFA
Ana Sayfa
Eğitim Bilgileri
Araştırma Alanları
Akademik İdari Deneyim
Yayınlar & Eserler
Proje & Patent & Tasarım
Bilimsel & Mesleki Faaliyetler
Başarılar & Tanınırlık
Duyurular & Dokümanlar
İletişim
Özgeçmiş Dosyası İndir
Türkçe
English
İstanbul Medipol Üniversitesi
Akademik Veri Yönetim Sistemi
English
Akademik Veri Yönetim Sistemi
English
Yayınlar & Eserler
Yayın Ağı
SCI, SSCI ve AHCI İndekslerine Giren Dergilerde Yayınlanan Makaleler
On the networks of large embeddings
ASLAN KHALİFA T.
,
KHALIFA M. K. M. I.
,
Székely G.
Algebra Universalis
, cilt.85, sa.3, 2024 (SCI-Expanded)
A Version of Predicate Logic with Two Variables That has an Incompleteness Property
KHALIFA M. K. M. I.
Studia Logica
, 2024 (SCI-Expanded)
CONCEPTUAL DISTANCE and ALGEBRAS of CONCEPTS
KHALIFA M. K. M. I.
,
Székely G.
Review of Symbolic Logic
, 2024 (SCI-Expanded)
DISTANCES between FORMAL THEORIES
Khaled M. K. M. I.
,
Székely G.
,
Lefever K.
,
Friend M.
Review of Symbolic Logic
, cilt.13, sa.3, ss.633-654, 2020 (SCI-Expanded)
Geometrical representation theorems for cylindric-type algebras
Khaled M. K. M. I.
,
Sayed Ahmed T.
Quaestiones Mathematicae
, cilt.43, sa.1, ss.81-96, 2020 (SCI-Expanded)
Atoms in infinite dimensional free sequence-set algebras
Khaled M. K. M. I.
,
Németi I.
Algebra Universalis
, cilt.80, sa.4, 2019 (SCI-Expanded)
The finitely axiomatizable complete theories of non-associative arrow frames
Khaled M. K. M. I.
Advances in Mathematics
, cilt.346, ss.194-218, 2019 (SCI-Expanded)
Stone type representation theorems via games
ASLAN KHALİFA T.
,
Khaled M. K. M. I.
Colloquium Mathematicum
, cilt.155, sa.1, ss.141-155, 2019 (SCI-Expanded)
First order logic without equality on relativized semantics
Banerjee A.
,
Khaled M. K. M. I.
Annals of Pure and Applied Logic
, cilt.169, sa.11, ss.1227-1242, 2018 (SCI-Expanded)
The free non-commutative cylindric algebras are not atomic
Khaled M. K. M. I.
Logic Journal of the IGPL
, cilt.25, sa.5, ss.673-685, 2017 (SCI-Expanded)
General normal forms for any additive logic
Khaled M. K. M. I.
Studia Scientiarum Mathematicarum Hungarica
, cilt.54, sa.3, ss.394-409, 2017 (SCI-Expanded)
On complete representations of algebras of logic
Khaled M. K. M. I.
,
Sayed-Ahmed T.
Logic Journal of the IGPL
, cilt.17, sa.3, ss.267-272, 2009 (SCI-Expanded)
Diğer Dergilerde Yayınlanan Makaleler
Vaught's theorem holds for l2 but fails for ln when n > 2
Khaled M. K. M. I.
,
Ahmed T. S.
Bulletin of the Section of Logic
, cilt.39, sa.3-4, ss.107-122, 2010 (Scopus)
Vaught's theorem holds for l2 but fails for ln when n>2
Khaled M. K. M. I.
,
Ahmed T.
BULLETIN OF THE SECTION OF LOGIC
, cilt.39, ss.107-122, 2010 (Scopus)
Classes of algebras that are not closed under completions
Khaled M. K. M. I.
,
Ahmed T. S.
Bulletin of the Section of Logic
, cilt.38, sa.1-2, ss.29-43, 2009 (Scopus)
Kitap & Kitap Bölümleri
Algebras Of Concepts And Their Networks
KHALIFA M. K. M. I.
,
SZÉKELY G.
Progress in Intelligent Decision Science. IDS 2020. Advances in Intelligent Systems and Computing, Allahviranloo Tofigh, Salahshour Soheil, Arica Nafiz, Editör, Springer, Cham, İstanbul, ss.611-622, 2021
Metrikler
Daha fazla metrik
Yayın
16
Atıf (Scopus)
32
H-İndeks (Scopus)
4
Açık Erişim
5