“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 8123 |
|
| Abstract: | |
|
We study Basic algebra, the algebraic structure associated with
Basic Propositional Calculus, and some of its natural extensions.
Among other things, we prove the amalgamation property for the
class of Basic algebras, faithful basic algebras and linear
faithful Basic algebras. We also show that a faithful theory has
the interpolation property if and only if its correspondence class
of algebras has the amalgamation property.
Download TeX format |
|
| back to top | |
