Algebraization of quantifier logics, an introductory overview
- 1 January 1991
- journal article
- research article
- Published by Springer Nature in Studia Logica
- Vol. 50 (3-4) , 485-569
- https://doi.org/10.1007/bf00370684
Abstract
No abstract availableKeywords
This publication has 112 references indexed in Scilit:
- Free algebras in discriminator varietiesAlgebra universalis, 1991
- A remark on representable positive cylindric algebrasAlgebra universalis, 1991
- On inducing homomorphisms between relation set algebrasAlgebra universalis, 1990
- Relation algebras and Schröder categoriesDiscrete Mathematics, 1988
- On varieties of cylindric algebras with applications to logicAnnals of Pure and Applied Logic, 1987
- Dynamic algebras with testJournal of Computer and System Sciences, 1987
- Interpolation and the Robinson property for logics not closed under the Boolean operationsAlgebra universalis, 1986
- The relational model of data and cylindric algebrasJournal of Computer and System Sciences, 1984
- Substitution algebras in their relation to cylindric algebrasArchive for Mathematical Logic, 1970
- Extending Boolean operationsPacific Journal of Mathematics, 1970