Works by Menni, Matías (exact spelling)

Order:
  1.  35
    Compatible operations on commutative residuated lattices.José Luis Castiglioni, Matías Menni & Marta Sagastume - 2008 - Journal of Applied Non-Classical Logics 18 (4):413-425.
    Let L be a commutative residuated lattice and let f : Lk → L a function. We give a necessary and sufficient condition for f to be compatible with respect to every congruence on L. We use this characterization of compatible functions in order to prove that the variety of commutative residuated lattices is locally affine complete. Then, we find conditions on a not necessarily polynomial function P(x, y) in L that imply that the function x ↦ min{y є L (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  12
    The unity and identity of decidable objects and double-negation sheaves.Matías Menni - 2018 - Journal of Symbolic Logic 83 (4):1667-1679.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark