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) identifier

CONCEPTUAL DISTANCE and ALGEBRAS of CONCEPTS

KHALIFA M. K. M. I., Székely G.
Review of Symbolic Logic , 2024 (SCI-Expanded) identifier

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) Creative Commons License identifier

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) Creative Commons License identifier

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) Creative Commons License identifier

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) identifier

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) identifier identifier

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) identifier

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) Creative Commons License identifier

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) Creative Commons License identifier

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) identifier

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) identifier

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) identifier

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) identifier

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

Yayın

15

Atıf (Scopus)

32

H-İndeks (Scopus)

4

Açık Erişim

5