scientific article; zbMATH DE number 3639689
From MaRDI portal
Publication:4200260
Cited in
(only showing first 100 items - show all)- Programs in partial algebras
- Inverse limits of algebras as retracts of their direct products
- Classification of all associative mono-\(n\)-ary algebras with 2 elements
- Collapsing partial combinatory algebras
- Mal'tsev products of varieties. I
- Affine completeness of the algebra of full binary trees
- On equational theories, unification, and (un)decidability
- Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
- scientific article; zbMATH DE number 3963901 (Why is no real title available?)
- The lattice of convexities of partial monounary algebras
- Relative congruence formulas and decompositions in quasivarieties
- ( L, L')-products of algebras
- Dynamic Łukasiewicz logic and its application to immune system
- D-semigroups and constellations
- Armstrong databases for functional and inclusion dependencies
- Maximal models up to the first measurable in ZFC
- Tabular parsing and algebraic transformations
- Equational theories of tropical semirings
- Some analytic features of algebraic data
- Meta-analysis of inter-theoretical relations: reduction, realization, and micro-macro relations of systems
- scientific article; zbMATH DE number 4045802 (Why is no real title available?)
- On the number of aggregation functions on finite chains as a generalization of Dedekind numbers
- The word and generator problems for lattices
- THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY
- An introduction to category-based equational logic
- Varieties of completely regular semigroups generated by Mal'cev products
- Hyperidentities and related concepts. II
- A 2-categorial generalization of the concept of institution
- Polynomial identities of Bernstein algebras of small dimension
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
- Orthomodular lattices with state-separated noncompatible pairs
- Hyperidentities and related concepts. I
- Hyperidentities and hypervarieties
- Representing congruence lattices of lattices with partial unary operations as congruence lattices of lattices. I: Interval equivalence.
- Pseudobases in Direct Powers of an Algebra
- The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra
- On identities of baric algebras and superalgebras
- Arithmeticity at 0
- Congruence preserving functions on free monoids
- Aperiodicity in Tree Automata
- Invertible binary algebras principally isotopic to a group
- Partial clones
- On the existence of free models in abstract algebraic institutions
- Mal'cev conditions for directly decomposable compatible relations
- scientific article; zbMATH DE number 2185579 (Why is no real title available?)
- Congruence relations on finitary models
- Fuzzy power structures
- On powers of relational and algebraic systems
- On the partially ordered monoid generated by the operators \(H, S, P, P_s\) on classes of algebras
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Lattice NExtS4 from the embedding theorem viewpoint
- Constructive universal algebra: An introduction
- Convex powerdomains. I
- Matching - a special case of unification?
- The lattice of subvarieties of the variety defined by externally compatible identities of abelian groups of exponent n
- The weak subalgebra lattice of a unary partial algebra of a given infinite unary type
- Extending Stone duality to multisets and locally finite MV-algebras.
- Bi-intuitionistic implication structures
- A Characterization of Finitely Decidable Congruence Modular Varieties
- Free-lattice functors weakly preserve epi-pullbacks
- Varieties of Commutative Semigroups
- Permutable groupoids
- On algebraic and logical specifications of classes of regular languages.
- Continuous monoids and semirings
- On partial n-ary groupoids whose equivalence relations are congruences
- Unification in a combination of arbitrary disjoint equational theories
- Equational logics (birkhoff's method revisited)
- Extensions of Algebraic Systems
- Hanf numbers for extendibility and related phenomena
- Congruence lattices of function lattices
- Completely regular semigroup varieties generated by Mal'cev products with groups
- scientific article; zbMATH DE number 4012702 (Why is no real title available?)
- Varieties of Rings with Definable Principal Congruences
- Towards a finer classification of strongly minimal sets
- On automorphisms of categories with applications to universal algebraic geometry
- A glimpse of deductive systems in algebra
- Lattices of polynomials under substitution
- Logical quantizations of first-order structures
- Unification theory
- Decomposition of pseudo-effect algebras and the Hammer-Sobczyk theorem
- On some non-obvious connections between graphs and unary partial algebras
- Inherently nonfinitely based lattices
- Extension of sectional pseudocomplementation in posets
- On the homological classification of semirings
- Free products of pseudocomplemented semilattices -- revisited
- Some applications of the term condition
- Profinite completions and canonical extensions of Heyting algebras
- On the Universal Theory of Classes of Finite Models
- On the structure of varieties with equationally definable principal congruences. I
- On the algebraic models of lambda calculus
- The unique minimal clone with three essentially binary operations
- Free and projective bimodal symmetric Gödel algebras
- Defining subdirect product closed classes in infinitary logic
- Unions of parafree Lie algebras
- Formal translation monoid and algebra congruences in a monoidal category
- Preserving near unanimity terms under products
- Kripke completeness of strictly positive modal logics over meet-semilattices with operators
- Iteration Semirings
- A minimal congruence lattice representation for \(\mathbb{M}_{p+1} \)
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4200260)
