Pages that link to "Item:Q1190748"

The following pages link to Discriminator varieties and symbolic computation (Q1190748):

Displaying 19 items.

• Almost structural completeness; an algebraic approach (Q278762) (← links)
• Bounded lattice structured discriminator varieties (Q616628) (← links)
• Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
• Equational treatment of first-order logic (Q1344840) (← links)
• Reduction of Hilbert-type proof systems to the if-then-else equational logic (Q1428985) (← links)
• Computers and universal algebra: Some directions (Q1902542) (← links)
• Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
• Unification in pretabular extensions of S4 (Q2239389) (← links)
• Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
• On models of exponentiation. Identities in the HSI-algebra of posets (Q3506325) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• Polynomial Time Uniform Word Problems (Q4835521) (← links)
• (Q4963142) (← links)
• Dual binary discriminator varieties (Q5210626) (← links)
• BL-global representations (Q5871380) (← links)
• The minor order of homomorphisms via natural dualities (Q6105034) (← links)
• Structural and universal completeness in algebra and logic (Q6145037) (← links)
• New perspectives on semi-primal varieties (Q6185300) (← links)