Did you mean: Martin, Herman J. San
  1. Marta S. Sagastume & Hernán J. San Martín (2014). The Logic Ł•. Mathematical Logic Quarterly 60 (6):375-388.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. Marta S. Sagastume & Hernán J. San Martín (2016). A Categorical Equivalence Motivated by Kalman’s Construction. Studia Logica 104 (2):185-208.
    An equivalence between the category of MV-algebras and the category \ is given in Castiglioni et al. :67–92, 2014). An integral residuated lattice with bottom is an MV-algebra if and only if it satisfies the equations \ \vee = 1}\) and \ = a \wedge b}\). An object of \ is a residuated lattice which in particular satisfies some equations which correspond to the previous equations. In this paper we extend the equivalence to the category whose objects are pairs, where (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography