Pages that link to "Item:Q3815356"

The following pages link to Decidability problem for finite Heyting algebras (Q3815356):

Displaying 10 items.

• The decidability of some classes of Stone algebras (Q412007) (← links)
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619) (← links)
• Varieties with decidable finite algebras. I: Linearity (Q1124620) (← links)
• A sufficient condition for finite decidability (Q1272241) (← links)
• Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
• On decidable varieties of Heyting algebras (Q4032876) (← links)
• Constant-Query Testability of Assignments to Constraint Satisfaction Problems (Q5232319) (← links)
• V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
• Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)