Distributive residuated frames and generalized bunched implication algebras

• Nikolaos Galatos ^[1] ; Peter Jipsen ^[2]
  1. [1] University of Denver

     University of Denver

     Estados Unidos

     
  2. [2] Chapman University

     Chapman University

     Estados Unidos

     
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 78, Nº. 3, 2017, págs. 303-336
• Idioma: inglés
• DOI: 10.1007/s00012-017-0456-x
• Enlaces
  • Texto completo