Loading...

On lob algebras, II

Alizadeh, M ; Sharif University of Technology | 2012

285 Viewed
  1. Type of Document: Article
  2. DOI: 10.1093/jigpal/jzr024
  3. Publisher: 2012
  4. Abstract:
  5. We study the variety of Löb algebras, the algebraic structures associated with Formal Propositional Calculus. Among other things, we show that there exist only two maximal intermediate logics in the lattice of intermediate logics over Basic Propositional Calculus. We introduce countably many locally finite sub-varieties of the variety of Löb algebras and show that their corresponding intermediate logics have the interpolation property. Finally, we characterize all chain basic algebras with empty set of generators, and show that there are continuum many such chain basic algebras
  6. Keywords:
  7. Basic algebra ; Basic propositional logic ; Formal propositional logic ; Heyting algebra ; Löb algebra
  8. Source: Logic Journal of the IGPL ; Volume 20, Issue 1 , April , 2012 , Pages 27-44 ; 13670751 (ISSN)
  9. URL: http://jigpal.oxfordjournals.org/content/early/2011/04/11/jigpal.jzr024