Pages that link to "Item:Q1098852"

The following pages link to On varieties of cylindric algebras with applications to logic (Q1098852):

Displayed 7 items.

• Algebraization of quantifier logics, an introductory overview (Q1189899) ‎ (← links)
• \(MP\)-algebras with relative types (Q1272216) ‎ (← links)
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) ‎ (← links)
• Weakly associative relation algebras with projections (Q3619868) ‎ (← links)
• Non-finite-axiomatizability results in algebraic logic (Q4032865) ‎ (← links)
• Cylindric modal logic (Q4842635) ‎ (← links)
• Free algebras in discriminator varieties (Q5905422) ‎ (← links)