Boolean combinations of monadic formulas

DOI10.1007/BF02483729zbMath0521.03048OpenAlexW1974141362MaRDI QIDQ1055408

Stephen D. Comer

Publication date: 1982

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02483729

zbMATH Keywords

definabilitycylindric algebrasBoolean combinationsmonadic formulassheaf theoretic duality

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Substitutionless predicate logic with identity
• A simplified formalization of predicate logic with identity
• Singularly Cylindric and Polyadic Equality Algebras
• A Sheaf-Theoretic Duality Theory for Cylindric Algebras

This page was built for publication: Boolean combinations of monadic formulas