Back to Search
Start Over
Interpolation and the Robinson property for logics not closed under the Boolean operations.
- Source :
- Algebra Universalis; 1986, Vol. 23 Issue 2, p111-122, 12p
- Publication Year :
- 1986
-
Abstract
- A variant of the Robinson property (ROB) is introduced. The property ROB is equivalent to the usual Robinson property and hence is equivalent also to the interpolation property, in any compact logic closed under the Boolean operations. On the other hand, it will be shown that ROB is not always equal to the interpolation property, if a logic is not closed under them. Next, we will study ROB and various interpolation properties for equational logics, which are typical examples of compact logics not closed under the Boolean operations. It will be shown that an equational logic has ROB if and only if it has the amalgamation property for isomorphic embeddings. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00025240
- Volume :
- 23
- Issue :
- 2
- Database :
- Complementary Index
- Journal :
- Algebra Universalis
- Publication Type :
- Academic Journal
- Accession number :
- 70720469
- Full Text :
- https://doi.org/10.1007/BF01237716