Loading...

On Löb algebras

Alizadeh, M ; Sharif University of Technology | 2006

243 Viewed
  1. Type of Document: Article
  2. DOI: 10.1002/malq.200510016
  3. Publisher: 2006
  4. Abstract:
  5. We study the variety of Löb algebras, the algebraic structures associated with formal prepositional calculus. Among other things, we prove a completeness theorem for formal prepositional logic with respect to the variety of Löb algebras. We show that the variety of Löb algebras has the weak amalgamation property. Some interesting subclasses of the variety of Löb algebras, e. g. linear, faithful and strongly linear Löb algebras are introduced. © 2006 WILEY-VCH Verlag GmbH & Co. KGaA
  6. Keywords:
  7. Basic algebra ; Löb algebra ; Heyting algebra ; Formal prepositional logic ; Basic prepositional logic
  8. Source: Mathematical Logic Quarterly ; Volume 52, Issue 1 , 2006 , Pages 95-105 ; 09425616 (ISSN)
  9. URL: https://onlinelibrary.wiley.com/doi/10.1002/malq.200510016