Loading...

On the linear Lindenbaum algebra of Basic Propositiorial Logic

Alizadeh, M ; Sharif University of Technology | 2004

139 Viewed
  1. Type of Document: Article
  2. DOI: 10.1002/malq.200310077
  3. Publisher: 2004
  4. Abstract:
  5. We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra. © 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
  6. Keywords:
  7. Basic algebra ; Basic propositional logic ; Heyting algebra
  8. Source: Mathematical Logic Quarterly ; Volume 50, Issue 1 , 2004 , Pages 65-70 ; 09425616 (ISSN)
  9. URL: https://onlinelibrary.wiley.com/doi/10.1002/malq.200310077