“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 7990 |
|
| Abstract: | |
|
We study the variety of Löb algebras, the algebraic
structures associated with formal propositional calculus. Among
other things, we prove a completeness theorem for formal
propositional 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.
Download TeX format |
|
| back to top | |
