The following pages link to Cylindric algebras. Part II (Q1064326):
Displayed 50 items.
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras (Q271687) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- A preliminary study of MV-algebras with two quantifiers which commute (Q332078) (← links)
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- The class of completely representable polyadic algebras of infinite dimensions is elementary (Q485109) (← links)
- Probabilities defined on standard and non-standard cylindric set algebras (Q514552) (← links)
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Neat embeddings as adjoint situations (Q514575) (← links)
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- On the representability of neatly embeddable CA's by cylindric relativized algebras (Q607464) (← links)
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Isotyped algebras (Q744308) (← links)
- Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras (Q780237) (← links)
- On the strength of temporal proofs (Q809066) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- The universal theory of first order algebras and various reducts (Q895827) (← links)
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Some results about neat reducts (Q992010) (← links)
- Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
- Algebraic geometry in first-order logic (Q1040258) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Finite models are one-generated (Q1087869) (← links)
- Isomorphic but not base-isomorphic base-minimal cylindric set algebras (Q1089337) (← links)
- A non-representable cylindric algebra with pairing functions (Q1090331) (← links)
- A foundation for conceptual data structures by cylindric and partial algebras (Q1094154) (← links)
- Dynamic algebras with test (Q1095141) (← links)
- On taking subalgebras of relativized relation algebras (Q1105597) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- A non-axiomatizability result in algebraic logic (Q1180697) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- Unifying threads in Alfred Tarski's work (Q1286341) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Peirce algebras (Q1333408) (← links)
- Towards automating duality (Q1343394) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- A short proof of representability of fork algebras (Q1389659) (← links)
- A logic for rough sets (Q1391755) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- Identities of groupoids of relations with operation of cylindered intersection (Q1792505) (← links)