ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Collection
Publisher
Years
  • 1
    facet.materialart.
    Unknown
    On Lob algebras, II (2012)
    Oxford University Press
    Details
    Publication Date: 2012-01-18
    Description: 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.
    Print ISSN: 1367-0751
    Electronic ISSN: 1368-9894
    Topics: Mathematics
    Published by Oxford University Press
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...