Publications & Works

Publication Network
Published journal articles indexed by SCI, SSCI, and AHCI

On the networks of large embeddings

Aslan Khalifa T., Khalıfa M. K. M. I., Székely G.
ALGEBRA UNIVERSALIS , vol.85, no.3, 2024 (SCI-Expanded) identifier

A Version of Predicate Logic with Two Variables That has an Incompleteness Property

Khalıfa M. K. M. I.
STUDIA LOGICA , 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 , vol.13, no.3, pp.633-654, 2020 (SCI-Expanded) identifier

Geometrical representation theorems for cylindric-type algebras

Khaled M. K. M. I., Sayed Ahmed T.
QUAESTIONES MATHEMATICAE , vol.43, no.1, pp.81-96, 2020 (SCI-Expanded) identifier

Atoms in infinite dimensional free sequence-set algebras

Khaled M. K. M. I., Németi I.
ALGEBRA UNIVERSALIS , vol.80, no.4, 2019 (SCI-Expanded) identifier

The finitely axiomatizable complete theories of non-associative arrow frames

Khaled M. K. M. I.
ADVANCES IN MATHEMATICS , vol.346, pp.194-218, 2019 (SCI-Expanded) identifier

STONE TYPE REPRESENTATION THEOREMS VIA GAMES

ASLAN KHALİFA T., Khaled M. K. M. I.
COLLOQUIUM MATHEMATICUM , vol.155, no.1, pp.141-155, 2019 (SCI-Expanded) identifier

First order logic without equality on relativized semantics

Banerjee A., Khaled M. K. M. I.
ANNALS OF PURE AND APPLIED LOGIC , vol.169, no.11, pp.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 , vol.25, no.5, pp.673-685, 2017 (SCI-Expanded) identifier

GENERAL NORMAL FORMS FOR ANY ADDITIVE LOGIC

Khaled M. K. M. I.
STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA , vol.54, no.3, pp.394-409, 2017 (SCI-Expanded) identifier

On complete representations of algebras of logic

Khaled M. K. M. I., Sayed-Ahmed T.
LOGIC JOURNAL OF THE IGPL , vol.17, no.3, pp.267-272, 2009 (SCI-Expanded) identifier
Articles Published in Other Journals

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 , vol.39, pp.107-122, 2010 (Scopus) identifier

Classes of algebras that are not closed under completions

Khaled M. K. M. I., Ahmed T.
BULLETIN OF THE SECTION OF LOGIC , vol.38, pp.29-43, 2009 (Peer-Reviewed Journal)
Refereed Congress / Symposium Publications in Proceedings

A conceptual-based attribute to connections between theories

KHALIFA M. K. M. I.
Tarskian Algebraic Logic, Relativity Theory and Methodology of Science – István Németi is 80, Budapest (online), Hungary, 15 - 17 September 2022

Algebras of Concepts and Their Networks: Boolean Algebras

KHALIFA M. K. M. I.
Logic Colloquium 2021, Poznan (onine), Poland, 19 - 24 July 2021

Concept Algebras and Conceptual Distance

KHALIFA M. K. M. I.
Logic, Relativity and Beyond, Budapest (online), Hungary, 14 - 17 July 2021

Beyond Gödel's incompleteness theorem

KHALIFA M. K. M. I.
Logic, Relativity and Beyond 3rd conference honoring Hajnal Andréka's 70th birthday, Budapest, Hungary, 23 - 27 August 2017

Guarded Fragment Of First Order Logic Without Equality

KHALIFA M. K. M. I., Sayed Ahmed T.
Logic, Relativity and Beyond 2nd international conference, Budapest, Hungary, 9 - 13 August 2015

Strongly representable atom structures

KHALIFA M. K. M. I., Sayed Ahmed T.
First International Conference on Logic and Relativity: honoring István Németi's 70th birthday, Budapest, Hungary, 8 - 12 September 2012
Books

Algebras Of Concepts And Their Networks

KHALIFA M. K. M. I., SZÉKELY G.
in: Progress in Intelligent Decision Science. IDS 2020. Advances in Intelligent Systems and Computing, Allahviranloo Tofigh, Salahshour Soheil, Arica Nafiz, Editor, Springer, Cham, İstanbul, pp.611-622, 2021
Metrics

Publication

21

Citation (Scopus)

34

H-Index (Scopus)

4

Citation (Scholar)

125

H-Index (Scholar)

7