Discriminator varieties and symbolic computation
From MaRDI portal
Publication:1190748
Recommendations
Cites work
- A Machine-Oriented Logic Based on the Resolution Principle
- A representation of generalized Boolean rings
- An equational logic sampler
- Consistency of the Continuum Hypothesis. (AM-3)
- Cylindric algebras. Part II
- Decidable discriminator varieties from unary varieties
- Embedding Boolean expressions into logic programming
- Equational Bases for If–Then–Else
- Equational compactness in quasi-primal varieties
- Equational methods in first order predicate calculus
- Equational theory of algebras with a majority polynomial
- Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
- Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
- scientific article; zbMATH DE number 5995471 (Why is no real title available?)
- scientific article; zbMATH DE number 3817778 (Why is no real title available?)
- scientific article; zbMATH DE number 3829296 (Why is no real title available?)
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 3654207 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 44213 (Why is no real title available?)
- scientific article; zbMATH DE number 193143 (Why is no real title available?)
- scientific article; zbMATH DE number 3582215 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 3019695 (Why is no real title available?)
- On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
- Post Algebras. I. Postulates and General Theory
- Refutational theorem proving using term-rewriting systems
- Rewrite method for theorem proving in first order theory with equality
- Sheaf Constructions and Their Elementary Properties
- Solvable cases of the decision problem
- Structure theory for algebraic algebras of bounded degree
- Subdirect unions in universal algebra
- The representation of biregular rings by sheaves
- Topological Representation of Algebras
- Unification in primal algebras, their powers and their varieties
- Unification theory
- Varieties of ”If-Then-Else“
Cited in
(25)- Equational treatment of first-order logic
- Reduction of Hilbert-type proof systems to the if-then-else equational logic
- Computers and universal algebra: Some directions
- Projective algebras and primitive subquasivarieties in varieties with factor congruences
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
- Unification in pretabular extensions of S4
- Projectivity and unification in substructural logics of generalized rotations
- Almost structural completeness; an algebraic approach
- Discriminator logics (research announcement)
- On models of exponentiation. Identities in the HSI-algebra of posets
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Polynomial Time Uniform Word Problems
- Direct product of -algebras and unification: an application to residuated lattices
- Dual binary discriminator varieties
- Remarks on projective unifiers
- BL-global representations
- The minor order of homomorphisms via natural dualities
- Structural and universal completeness in algebra and logic
- Bounded lattice structured discriminator varieties
- New perspectives on semi-primal varieties
- Many-valued coalgebraic logic over semi-primal varieties
- Logical complexity of reducts of elementary algebraic classes
- From coextensive varieties to the Gaeta topos
- Global representations for finite relatively congruence distributive algebras
- Expansions of semi-Heyting algebras. I: Discriminator varieties
This page was built for publication: Discriminator varieties and symbolic computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1190748)
