Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic
- 7 June 2005
- book chapter
- Published by Springer Nature
- p. 209-225
- https://doi.org/10.1007/bfb0043086
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Interpolation and the Robinson property for logics not closed under the Boolean operationsAlgebra universalis, 1986
- EPIMORPHISMS IN DISCRIMINATOR VARIETIESPublished by Elsevier ,1986
- Cylindric-relativised set algebras have strong amalgamationThe Journal of Symbolic Logic, 1985
- Some Varieties Containing Relation AlgebrasTransactions of the American Mathematical Society, 1982
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebrasAlgebra and Logic, 1977
- Amalgamation of Polyadic AlgebrasTransactions of the American Mathematical Society, 1970
- Classes without the amalgamation propertyPacific Journal of Mathematics, 1969
- Singularly Cylindric and Polyadic Equality AlgebrasTransactions of the American Mathematical Society, 1964
- Freedom in polyadic algebras and two theorems of Beth and Craig.The Michigan Mathematical Journal, 1964
- A complete first-order logic with infinitary predicatesFundamenta Mathematicae, 1963