6 found
Order:
  1.  54
    Distances Between Formal Theories.Michele Friend, Mohamed Khaled, Koen Lefever & Gergely Székely - unknown - Review of Symbolic Logic 13 (3):633-654.
    In the literature, there have been several methods and definitions for working out whether two theories are “equivalent” or not. In this article, we do something subtler. We provide a means to measure distances between formal theories. We introduce two natural notions for such distances. The first one is that of axiomatic distance, but we argue that it might be of limited interest. The more interesting and widely applicable notion is that of conceptual distance which measures the minimum number of (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  13
    First Order Logic Without Equality on Relativized Semantics.Amitayu Banerjee & Mohamed Khaled - 2018 - Annals of Pure and Applied Logic 169 (11):1227-1242.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  19
    The Free Non-Commutative Cylindric Algebras Are Not Atomic.Mohamed Khaled - 2017 - Logic Journal of the IGPL 25 (5):673-685.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  19
    Vaughts Theorem Holds for L2 but Fails for Ln When N> 2.Mohamed Khaled & T. Sayed Ahmed - 2010 - Bulletin of the Section of Logic 39 (3/4):107-122.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  13
    Classes of Algebras That Are Not Closed Under Completions.Mohamed Khaled & Tarek Sayed Ahmed - 2009 - Bulletin of the Section of Logic 38 (1/2):29-43.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  3
    On Complete Representations of Algebras of Logic.Mohamed Khaled & Tarek Sayed-Ahmed - 2009 - Logic Journal of the IGPL 17 (3):267-272.
    We show that there exists an atomic polyadic equality algebra of dimension n that is elementary equivalent to a completely representable algebra, but its diagonal free reduct is not completely representable.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark