1. Marta S. Sagastume & Hernán J. San Martín (2014). The Logic Ł•. Mathematical Logic Quarterly 60 (6):375-388.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  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 (Heyting algebras with successor) 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(6):643-681, 1977] allows us to show interpolation in the calculus IPC S (n), associated with these varieties. We use that every algebra in any of the varieties of S-algebras studied in this work (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Sergio A. Celani & Hern?N. J. San Mart?N. (2012). Frontal Operators in Weak Heyting Algebras. Studia Logica 100 (1/2):91-114.
    In this paper we shall introduce the variety FWHA of frontal weak Heyting algebras as a generalization of the frontal Heyting algebras introduced by Leo Esakia in [10]. A frontal operator in a weak Heyting algebra A is an expansive operator r preserving finite meets which also satisfies the equation ?(a) ? b V (b ? a), for all a,b ? A. These operators were studied from an algebraic, logical and topological point of view by Leo Esakia in [10]. We (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation