Dr. Öğr. Üyesi Mohamed Khaled Mohamed Ismaıl KHALIFA

Tarskian Algebraic Logic, Relativity Theory and Methodology of Science – István Németi is 80, Budapest (online), Macaristan, 15 - 17 Eylül 2022, (Özet Bildiri)

2. Algebras of Concepts and Their Networks: Boolean Algebras

KHALIFA M. K. M. I.

Logic Colloquium 2021, Poznan (onine), Polonya, 19 - 24 Temmuz 2021, (Özet Bildiri)

3. Concept Algebras and Conceptual Distance

KHALIFA M. K. M. I.

Logic, Relativity and Beyond, Budapest (online), Macaristan, 14 - 17 Temmuz 2021, (Özet Bildiri)

4. 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, Macaristan, 23 - 27 Ağustos 2017, (Özet Bildiri)

5. Guarded Fragment Of First Order Logic Without Equality

KHALIFA M. K. M. I., Sayed Ahmed T.

Logic, Relativity and Beyond 2nd international conference, Budapest, Macaristan, 9 - 13 Ağustos 2015, (Özet Bildiri)

6. 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, Macaristan, 8 - 12 Eylül 2012, (Özet Bildiri)

Kitaplar 1

1. 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

Dr. Öğr. Üyesi Mohamed Khaled Mohamed Ismaıl KHALIFA

Yayınlar & Eserler

1. On the networks of large embeddings

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

3. CONCEPTUAL DISTANCE AND ALGEBRAS OF CONCEPTS

4. DISTANCES BETWEEN FORMAL THEORIES

5. Geometrical representation theorems for cylindric-type algebras

6. Atoms in infinite dimensional free sequence-set algebras

7. The finitely axiomatizable complete theories of non-associative arrow frames

8. STONE TYPE REPRESENTATION THEOREMS VIA GAMES

9. First order logic without equality on relativized semantics

10. The free non-commutative cylindric algebras are not atomic

11. GENERAL NORMAL FORMS FOR ANY ADDITIVE LOGIC

12. Vaught's theorem holds for l2 but fails for ln when n>2

13. On complete representations of algebras of logic

14. Classes of algebras that are not closed under completions

1. A conceptual-based attribute to connections between theories

2. Algebras of Concepts and Their Networks: Boolean Algebras

3. Concept Algebras and Conceptual Distance

4. Beyond Gödel's incompleteness theorem

5. Guarded Fragment Of First Order Logic Without Equality

6. Strongly representable atom structures

1. Algebras Of Concepts And Their Networks

Yayın

Yayın (WoS)

Yayın (Scopus)

Atıf (Scopus)

H-İndeks (Scopus)

Atıf (Scholar)

H-İndeks (Scholar)