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  
  3.  2
    José L. Castiglioni & Hernán J. San Martín (2012). On Some Classes of Heyting Algebras with Successor That Have the Amalgamation Property. Studia Logica 100 (6):1255-1269.
    In this paper we shall prove that certain subvarieties of the variety of S- algebras has amalgamation. This result together with an appropriate version of Theorem 1 of [L. L. Maksimova, Craig 's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras, Algebra i Logika, 16:643-681, 1977] allows us to show interpolation in the calculus IPC S, associated with these varieties. We use that every algebra in any of the varieties of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography