scientific article; zbMATH DE number 1735915
From MaRDI portal
Publication:4329278
zbMATH Open1002.03057MaRDI QIDQ4329278
Publication date: 5 September 2002
Title of this publication is not available (Why is that?)
interpolationfirst-order theorydefinabilitycylindric algebrasalgebraizationfirst-order languagerelational systemalgebra of formulaspartial elementary logicquasicylindric algebras
Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40)
Related Items (1)
Recommendations
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Connections between quasi-projective relation algebras and cylindric algebras π π
- Axiomatising Various Classes of Relation and Cylindric Algebras π π
- Connections between Relation Algebras and Cylindric Algebras π π
- Discrete Duality for Relation Algebras and Cylindric Algebras π π
- Relation algebras from cylindric and polyadic algebras π π
- Relation algebra reducts of cylindric algebras and complete representations π π
- Relation algebras from cylindric algebras. I π π
- Relation algebras from cylindric algebras. II π π
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329278)