Representable cylindric algebras
From MaRDI portal
Publication:1821100
DOI10.1016/0168-0072(86)90061-8zbMATH Open0616.03040OpenAlexW2013091451MaRDI QIDQ1821100FDOQ1821100
Leon Henkin, Alfred Tarski, J. Donald Monk
Publication date: 1986
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(86)90061-8
Cites Work
- Nonfinitizability of classes of representable cylindric algebras
- Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
- Projective Algebra I
- A simple, purely algebraic proof of the completeness of some first order logics
- Defining relations for full semigroups of finite transformations
- Cylindric and Polyadic Algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (14)
- On some developments in the representation theory of cylindric-like algebras
- Title not available (Why is that?)
- Leon Henkin the Reviewer
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
- On partially ordered semigroups of relations with domino operations.
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION
- On the representability of neatly embeddable CA's by cylindric relativized algebras
- A note on substitutions in representable cylindric algebras
- Title not available (Why is that?)
- On nonrepresentable G-polyadic algebras with representable cylindric reducts
- Leon Henkin and Cylindric Algebras
- In Memoriam: Leon Albert Henkin 1921–2006
- Algebraic Logic and Knowledge Bases
- Information Algebra
This page was built for publication: Representable cylindric algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1821100)
