Amalgamation property for the class of basic algebras and some of its natural subclasses |
| |
Authors: | Majid Alizadeh Mohammad Ardeshir |
| |
Institution: | (1) Institute for Studies in Theoretical Physics and Mathematics, P.O. Box 19395-5746, Tehran, Iran;(2) Department of Mathematics, Sharif University of Technology, P.O. Box 11365-9415, Tehran, Iran |
| |
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. |
| |
Keywords: | Amalgamation Basic algebra Basic propositional logic Heyting algebra Faithful Interpolation |
本文献已被 SpringerLink 等数据库收录! |
|