Order:
Disambiguations
Nestor G. Martinez [3]Néstor Martínez [1]
  1.  40
    A simplified duality for implicative lattices and l-groups.Nestor G. Martinez - 1996 - Studia Logica 56 (1-2):185 - 204.
    A topological duality is presented for a wide class of lattice-ordered structures including lattice-ordered groups. In this new approach, which simplifies considerably previous results of the author, the dual space is obtained by endowing the Priestley space of the underlying lattice with two binary functions, linked by set-theoretical complement and acting as symmetrical partners. In the particular case of l-groups, one of these functions is the usual product of sets and the axiomatization of the dual space is given by very (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  17
    Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Mathematical Logic Quarterly 35 (1):15-21.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  28
    Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):15-21.