Loading...

Amalgamation property for the class of basic algebras and some of its natural subclasses

Alizadeh, M ; Sharif University of Technology | 2006

167 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/s00153-006-0018-y
  3. Publisher: 2006
  4. Abstract:
  5. We study Basic algebra, the algebraic structure associated with basic propositional calculus, and some of its natural extensions. Among other things, we prove the amalgamation property for the class of Basic algebras, faithful Basic algebras and linear faithful Basic algebras. We also show that a faithful theory has the interpolation property if and only if its correspondence class of algebras has the amalgamation property. © 2006 Springer-Verlag
  6. Keywords:
  7. Amalgamation ; Basic algebra ; Basic propositional logic ; Heyting algebra ; Faithful ; Interpolation
  8. Source: Archive for Mathematical Logic ; Volume 45, Issue 8 , 2006 , Pages 913-930 ; 09335846 (ISSN)
  9. URL: https://link.springer.com/article/10.1007/s00153-006-0018-y