Pages that link to "Item:Q1064325"
From MaRDI portal
The following pages link to Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing (Q1064325):
Displayed 18 items.
- Towards a ``sophisticated'' model of belief dynamics. I: The general framework (Q935023) (← links)
- Towards a ``sophisticated'' model of belief dynamics. II: Belief revision (Q1005934) (← links)
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066) (← links)
- Multi-dimensional semantics for modal logics (Q1924325) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- Quasi-polyadic algebras and their dual position (Q2134280) (← links)
- On Tarski's assumptions (Q2386111) (← links)
- Representability is not decidable for finite relation algebras (Q2701663) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- Some logical invariants of algebras and logical relations between algebras (Q3079224) (← links)
- The polyadic generalization of the Boolean axiomatization of fields of sets (Q3116577) (← links)
- The Neat Embedding Problem and the Number of Variables Required in Proofs (Q3204457) (← links)
- Extensions of Algebraic Systems (Q3322164) (← links)
- Some Varieties Containing Relation Algebras (Q3661577) (← links)
- Galois Theory for Cylindric Algebras and its Applications (Q3674660) (← links)
- Canonical Relativized Cylindric Set Algebras (Q3834044) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- The Polyadic Completion of a Transformation Algebra (Q4038390) (← links)