Publication:3934450

From MaRDI portal


zbMath0478.08001MaRDI QIDQ3934450

Hanamantagouda P. Sankappanavar, Stanley N. Burris

Publication date: 1981



06B23: Complete lattices, completions

08B05: Equational logic, Mal'tsev conditions

06B10: Lattice ideals, congruence relations

06E15: Stone spaces (Boolean spaces) and related structures

08A05: Structure theory of algebraic structures

08B10: Congruence modularity, congruence distributivity

08B20: Free algebras

08A35: Automorphisms and endomorphisms of algebraic structures

08B25: Products, amalgamated products, and other kinds of limits and colimits

08C10: Axiomatic model classes

06Exx: Boolean algebras (Boolean rings)

08Bxx: Varieties

08-02: Research exposition (monographs, survey articles) pertaining to general algebraic systems


Related Items

Finite fixed point algebras are subdiagonalisable, Unification in a combination of arbitrary disjoint equational theories, Matching - a special case of unification?, An algebraic characterization of frontier testable tree languages, Term rewriting and Hoare logic -- Coded rewriting, Locally commutative power semigroups and counting factors of words, Nonfinitely based pseudovarieties and inherently nonfinitely based varieties, Compact algebras in discriminator varieties, An algebraic approach to linguistic hedges in Zadeh's fuzzy logic, A Sahlqvist theorem for distributive modal logic, A note on irredundant sets, On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics, On the size of congruence lattices for models of theories with definability of congruences, On linear varieties, Closure functions and general iterates as reflectors, Algebraic fuzzy systems, Irreducibility in algebraic fuzzy systems, Algebras with fuzzy equalities, An answer to Demirci's open question, a clarification of his result, and a correction of his interpretation of the result, First order theories for partial models, The class of extensions of Nelson's paraconsistent logic, Complexity issues in Basic Logic, Varieties of BL-algebras, A note on congruence permutability and fuzzy logic, Interpretability of first-order linear temporal logics in fork algebras, Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems, An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field, A common generalization for MV-algebras and Łukasiewicz-Moisil algebras, Decomposability of free Łukasiewicz implication algebras, A topological completion of refined hedge algebras and a model of fuzziness of linguistic terms and hedges, Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, Product logic and probabilistic Ulam games, Axiomatizing the skew Boolean propositional calculus, Tree algebras and varieties of tree languages, A note on free algebras of discriminator algebras, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Bounded and well-placed theories in the lattice of equational theories, Congruence-distributive varieties of algebras, Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility, Principal congruences of double demi-p-lattices, Quasiidentities of finite unary algebras, The congruence theory of closure properties of regular tree languages, Countable embeddability skeletons of discriminator varieties, Monotone clones and congruence modularity, Tests for injectivity in finitely generated universal Horn classes, On the number of discriminator varieties incomparable in countable epimorphism skeletons, Rich countable epimorphism skeletons of discriminator varieties, Semidirectly closed pseudovarieties of locally trivial semigroups, Homomorphisms on lattices of continuous functions, An approach to Glivenko's theorem in algebraizable logics, Constructive logic with strong negation is a substructural logic. I, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, The axiomatizability of topological prevarieties, On Boolean primitive positive clones, Boolean representation of bounded BCK-algebras, Pavelka-style completeness in expansions of Łukasiewicz logic, Free Łukasiewicz implication algebras, Fuzzy power structures, Capture-avoiding substitution as a nominal algebra, On \(n \times m\)-valued Łukasiewicz-Moisil algebras, Projectively condensed semigroups, generalized completely regular semigroups and projective orthomonoids., A finite set of functions with an EXPTIME-complete composition problem, The lattice of subvarieties of the variety defined by externally compatible identities of abelian groups of exponent \(n\), A splitting logic in NExt(KTB), Groupoids with quasigroup and Latin square properties., Infinite-vertex free profinite semigroupoids and symbolic dynamics., Behavioral algebraization of logics, Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces, Amalgamation classes of some distributive varieties, Mal'tsev conditions and representability of varieties, Multiple Boolean algebras and their application to fuzzy sets, Interpolation and the Robinson property for logics not closed under the Boolean operations, Discriminator polynomials and arithmetical varieties, Iterated discriminator varieties have undecidable theories, Functions on universal algebras, Expanding varieties by monoids of endomorphisms, The cardinality of subdirectly indecomposable systems in quasivarieties, Elementary and algebraic properties of the Arens-Kaplansky constructions, Remarks on the Fraser-Horn property, Decidable unary varieties, On the relationship of AP, RS and CEP in congruence modular varieties, Cosets in universal algebra, Saturated algebras in filtral varieties, De Morgan algebras are universal, Lee classes and sentences for pseudo-complemented semilattices, Relations of imbeddability and epimorphism on congruence-distributive varieties, W-algebras which are Boolean products of members of SR[1 and CW- algebras], Strongly regular rings and rational identities of division rings, A note on algebraically and existentially closed structures, Finite equational bases for subalgebra distributive varieties, Undecidability of relatively free Hilbert algebras, Primitive positive clones which are endomorphism clones, Finite algebras with Abelian properties, On finite bases for varieties and pseudovarieties, On the lattice of extensions of the modal logics \(KAlt_ n\), Weak distributive laws and their role in lattices of congruences and equational theories, Finitely generated clones of terms, Generators, indecomposables and free algebras, Congruence relations on De Morgan algebras, Unification theory, Compositions with superlinear deterministic top-down tree transformations, Universal algebras, A characterization of congruence permutable locally finite varieties, On iterated semidirect products of finite semilattices, Elementary equivalent pairs of algebras associated with sets, On a characterization of lattices by the betweenness relation --- on a problem of M. Kolibiar, Nonassociative Boolean ring varieties, Orthomodular lattices whose MacNeille completions are not orthomodular, An algebraic characterization of semantic independence, Quantifiers on distributive lattices, Congruence uniform distributive lattices, Construction of monadic three-valued Łukasiewicz algebras, Algebraization of quantifier logics, an introductory overview, Discriminator varieties and symbolic computation, Priestley duality and quotient lattices of many-valued algebras, Sheaf representation and Chinese Remainder Theorems, Effective subdirect decomposition: A case study, A field guide to equational logic, Subsumption computed algebraically, Countable skeletons of finitely generated discriminator varieties, On amalgamation classes of pseudocomplemented semilattices, Irreducible orthomodular lattices which are simple, The lattice of distributive closure operators over an algebra, On the lattice of completely regular monoid varieties, Congruence lattices of powers of an algebra, Semidirect products of pseudovarieties from the universal algebraist's point of view, On finitely based groups and nonfinitely based quasivarieties, Category equivalence preserves unification type, Varieties of shells, Subquasivarieties of regularized varieties, An algebraic generalization of Frege structures -- binding algebras, General varieties of tree languages, \(E\)-solid e-varieties are not finitely based, A finite equational axiomatization of the functional algebras for the lambda calculus, Graphical operations on projective spaces, Prime spectra of lattice-ordered abelian groups, A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism, Arguesian identities in linear lattices, Congruence modularity implies the Arguesian law for single algebras with a difference term, Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics, Model theoretic properties in the variety generated by a primal algebra, On the structure of varieties with equationally definable principal congruences. IV, Semigroups obeying the term condition, Wajsberg algebras and Post algebras, Completions of orthomodular lattices. II, Decidable discriminator varieties with lattice stalks, Bjarni Jónsson's contributions in algebra, Decomposition of regular subsemigroup lattices, The inference of tree languages from finite samples: An algebraic approach, Quasi-varieties of solvable lattice-ordered groups, Discriminating varieties, The determination of subvarieties of certain congruence-distributive varieties, A concept of variety for regular biordered sets, Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups, Amalgamation in varieties of distributive double \(p\)-algebras, \(e\)-varieties of regular semigroups, relatively bifree objects and fully invariant congruences, On the quasivariety of BCK-algebras and its subvarieties, A note on injectivity and Boolean products, Representable biresiduated lattices, Varieties of commutative residuated integral pomonoids and their residuation subreducts, TC semigroups and inflations, \(E\)-free objects in \(E\)-varieties of inverse rings, Tableau method for residuated logic, Algorithmic problems for finite groups and finite \(0\)-simple semigroups, Projective limits of \(MV\)-spaces, Many-sorted algebras in congruence modular varieties, A bundle representation for continuous geometries, Fuzzifications of concrete categories and homomorphy degrees of mappings between universal algebras, Almeida's generalized variety problem, Small congruence distributive varieties: retracts, injectives, equational compactness and amalgamation, Equations in the theory of \(Q\)-distributive lattices, Three notes on distributive lattices, On extensions of intermediate logics by strong negation, Finitely generated free modular ortholattices. I, Two-sorted metric temporal logics, Observational ultraproducts of polynomial coalgebras., Topology of order complexes of intervals in subgroup lattices., Anshakov-Rychkov algebras, \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras., Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators, Right cancellative and left ample monoids: quasivarieties and proper covers, MV-algebras, multiple bets and subjective states, On the algebraic models of lambda calculus, Boolean products of BL-algebras, Category metrics and valuations of concrete categories, Inherently nonfinitely based lattices, A note on identities of two-dimensional languages, Dirichlet series whose partial sums of coefficients have regular variation, Fragments of R-mingle, A non-finitely based quasi-variety of De Morgan algebras, Negative equivalence of extensions of minimal logic, On the structure of paraconsistent extensions of Johansson's logic, Decidable locally finite discriminator varieties arising from dihedral varieties of groups, Abelian algebras and the Hamiltonian property, Representation and preservation of the metamathematical quotients of A. Robinson, Almost free algebras, Forcing extensions of partial lattices, Varieties of BL-algebras. I: General properties., Finding model-companions via the skeleton, Varieties having Boolean factor congruences, Combining algebraizable logics, Boolean products of lattices, Coupling an MV-algebra with a Boolean algebra, On algebras and clones, Undecidability of Brouwerian semilattices, Regular monoids generated by two Galois connections, On equational theories, unification, and (un)decidability, Covers in the epimorphism skeletons of varieties of algebras, Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees, On axioms for commutative regular equations without addition., On equations for union-free regular languages, Geometrical methods in Wajsberg hoops, Functor category dualities for varieties of Heyting algebras, On coconnected algebras, The max-plus algebra of the natural numbers has no finite equational basis, Representation of fuzzy subalgebras by crisp subalgebras, On the expressiveness of choice quantification, Equational theories of tropical semirings, Unary algebras, semigroups and congruences on free semigroups, Locally Boolean spectra, Skew Boolean algebras and discriminator varieties, The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups, Algebraic study of two deductive systems of relevance logic, On arithmetical varieties of near-rings, A note on varieties of groupoids arising from \(m\)-cycle systems, An algebraic characterization of inductive soundness in proof by consistency, Quasi-varieties, congruences, and generalized Dowling lattices, Predicate transformers as power operations, Seven trees in one, A note on a theorem of Fried and MacRae, Finite axiomatizability of congruence rich varieties, Finitely axiomatizable quasivarieties of graphs, On Ockham algebras: Congruence lattices and subdirectly irreducible algebras, Recent developments in the theory of skew lattices, Wreath products of algebras: Generalizing the Krohn-Rhodes theorem to arbitrary algebras, Undecidable fragments of elementary theories, Decidable and undecidable logics with a binary modality, The variety of CH-algebras, On the interpolation property of some intuitionistic modal logics, Covers of primal varieties, An algebraic treatment of quantifier-free systems of arithmetic, The parameterized local deduction theorem for quasivarieties of algebras and its application, A variety with locally solvable but globally unsolvable word problem, Central elements in varieties with the Fraser-Horn property, Two properties of fuzzy subquasigroups of a quasigroup, On the multiplicative semigroup of a ring, Growth sequences of finite algebras, Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon, Quasivarieties of algebras with definable principal congruences, Generalized varieties, Classes closed under isomorphisms, retractions, and products, Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples, Closure properties for the class of behavioral models, On the variety of Riesz spaces, Automated theorem proving by resolution in non-classical logics, On the scope of some formulas defining additive connectives in fuzzy logics, Decomposability of the finitely generated free hoop residuation algebra, On von Neumann regular rings with an automorphism, Tree polynomials and non-associative Gröbner bases, A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system, Monoidal intervals of clones on infinite sets, Formal systems of fuzzy logic and their fragments, On a characterization of the lattice of subsystems of a transition system, Monoids with sub-log-exponential free spectra., Heyting algebras with Boolean operators for rough sets and information retrieval applications, Some conditions related to the exactness of Rees-Sushkevich varieties., Point-free version of Kakutani duality, On constantive simple and order-primal algebras, Equivalence between varieties of square root rings and Boolean algebras with a distinguished automorphism, Interpolation and Beth's property in propositional many-valued logics: a semantic investigation, Algebras defined from ordered sets and the varieties they generate, Fuzzy propositional logic associated with quantum computational gates, Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach, On the direct decomposability of strong negations and \(S\)-implication operators on product lattices, Definability of directly indecomposable congruence modular algebras, Mathematical fuzzy logic as a tool for the treatment of vague information, Bases for modules., Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, Fuzzy Horn logic. I. Proof theory., Unnamed Item, Near-equational and equational systems of logic for partial functions. I, Unnamed Item, On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids, A Characterization of Finitely Decidable Congruence Modular Varieties, Zero-place operations and functional completeness, and the definition of new connectives, Théories d'algèbres de Boole munies d'idéaux distingués. II, Unnamed Item, Unnamed Item, Finitely Decidable Congruence Modular Varieties, Injectives in some small varieties of ockham algebras, On algebraic specifications of computable algebras with the discriminator technique, Strong Retracts of Unary Algebras, Non-Transitive Generalizations of Subdirect Products of Linearly Ordered Rings, Subdirectly Irreducible MV-Algebras, One Interval in the Lattice of Partial Hyperclones, Generic substitutions, $HSP\not = SHPS$ for commutative rings with identity, Multialgebras, universal algebras and identities, A finite model property for RMImin, Bounded BCK-algebras and their generated variety, Unnamed Item, A decidable variety that is finitely undecidable, Hyper-regular lattice-ordered groups, A knowledge representation based on the Belnap's four-valued logic, Unnamed Item, On Solvable Congruences in Finitely Decidable Varieties, Quasi‐Stone algebras, Finite Simple Abelian Algebras are Strictly Simple, Hereditary undecidability of some theories of finite structures, Nearring multiplications on groups, On the semidirect product of the pseudovariety of semilattices by a locally finite pseudovariety of groups, Unnamed Item, Minimal sets and varieties, Unnamed Item, Commutator Theory Without Join-Distributivity, The Direct Decomposition of l-algebras into Products of Subdirectly Irreducible Factors, The Hahn representation theorem for ℓ-groups in ZFA, Characterization of discriminator varieties, On the equational theory of representable polyadic equality algebras, Hyperboolean Algebras and Hyperboolean Modal Logic, ON THE MAXIMAL IDEALS OF NON-ZERO-SYMMETRIC NEAR-RINGS AND OF COMPOSITION ALGEBRAS OF POLYNOMIAL FUNCTIONS ON Ω-GROUPS, Unnamed Item, Erdős Graphs Resolve Fine's Canonicity Problem, Finitely generated free Heyting algebras, Unnamed Item, Varieties of half lattice-ordered groups of monotonic permutations of chains, A non-commutative generalization of MV-algebras, A Structure Theorem for Free Temporal Algebras, Defining data structures via Böhm-out, Varieties of Rings with Definable Principal Congruences, Congruence lattices of algebras— the signed labelling, Term rewriting systems with sort priorities, XI Latin American Symposium on Mathematical Logic, A finitely axiomatizable undecidable equational theory with recursively solvable word problems, On n ‐contractive fuzzy logics, Unnamed Item, Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic, Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops, Conserving involution in residuated structures, Monadic dynamic algebras, On weak and strong interpolation in algebraic logics, Free algebras in varieties of BL-algebras generated by a BLn-chain, Free nilpotent minimum algebras, Recent Results on the Algebraic Approach to the CSP, Constraint Satisfaction Problems with Infinite Templates, MacNeille completions and canonical extensions, Polynomially rich algebras, The subquasivariety lattice of a discriminator variety, On subvarieties of symmetric closure algebras, Functorial representation theorems for MV\(_\Delta\) algebras with additional operators, Bounded lattice expansions, Semilattices of totally bounded quasi-uniformities, Free algebras in discriminator varieties, Linearization in parallel pCRL, Finite bases for flat graph algebras, Boolean products of real closed valuation rings and fields, Computational complexity of some problems involving congruences on algebras, On the partially ordered monoid generated by the operators \(H, S, P, P_s\) on classes of algebras, Varieties with Cofinal Sets: Examples and Amalgamation, Representable idempotent commutative residuated lattices, Finite axiomatizability for equational theories of computable groupoids, The undecidability of the DA-unification problem, Mathematical Fuzzy Logics, The Strong Endomorphism Kernel Property in Ockham Algebras, On triangular norm based axiomatic extensions of the weak nilpotent minimum logic, Topological Properties of Concept Spaces, Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic, Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties, Unnamed Item, Model companions for finitely generated universal Horn classes, On the Universal Theory of Classes of Finite Models, Deductive Varieties of Modules and Universal Algebras, Basis properties for semigroups, Decidability problem for finite Heyting algebras, Płonka-Type Sums Over Free Products, Unnamed Item, The Fraser-Horn and Apple Properties, On the Relationship of AP, RS and CEP in Congruence Modular Varieties. II, Finitely Many Primitive Positive Clones, Decidable discriminator varieties from unary varieties, Somep-algebras and doublep-algebras having only principal congruences, On decidable varieties of Heyting algebras, Unnamed Item, Decidable Discriminator Varieties from Unary Classes, Unnamed Item, Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras