On neat embeddings of algebraisations of first order logic

MaRDI QIDQ3650858zbMATH OpenFDO

Authors Tarek Sayed Ahmed

Publication date 15 December 2009

zbMATH Keywords

algebraic logicneat reductsquasi-polyadic algebrassubstitution algebrassuper amalgamation

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• On neat embeddings of cylindric algebras
• The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
• On neat reducts of algebras of logic
• The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
• A note on neat reducts

Cited in

(5)

• Polyadic and cylindric algebras of sentences
• On neat embeddings of cylindric algebras
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
• Algebras of sentences
• On neat reducts of algebras of logic

This page was built for publication: On neat embeddings of algebraisations of first order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3650858)