scientific article; zbMATH DE number 3639689
From MaRDI portal
Publication:4200260
Cited in
(only showing first 100 items - show all)- Kripke completeness of strictly positive modal logics over meet-semilattices with operators
- Congruence preserving functions on free monoids
- On equational theories, unification, and (un)decidability
- Refinement in hybridised institutions
- scientific article; zbMATH DE number 4043916 (Why is no real title available?)
- Medial idempotent groupoids. I
- Free vector lattices and free vector lattice algebras
- Algebraic characterization of conflict-free varieties of partial algebras
- Permutable groupoids
- The lattice of subvarieties of the variety defined by externally compatible identities of abelian groups of exponent \(n\)
- Binary hyperidentities of lattices
- Polynomial identities of Bernstein algebras of small dimension
- Hyperidentities and related concepts. II
- Tabular parsing and algebraic transformations
- Equational theories of tropical semirings
- On the homological classification of semirings
- On algebraic and logical specifications of classes of regular languages.
- On the existence of congruence-uniform structures on universal algebras
- Computational complexity of some problems involving congruences on algebras
- THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY
- A technique for recognizing graphs of bounded treewidth with application to subclasses of partial 2-paths
- Congruence relations on finitary models
- Collapsing partial combinatory algebras
- Quantum logics representable as kernels of measures
- A unifying theorem for algebraic semantics and dynamic logics
- scientific article; zbMATH DE number 90579 (Why is no real title available?)
- On some non-obvious connections between graphs and unary partial algebras
- Some analytic features of algebraic data
- Bi-intuitionistic implication structures
- Formal translation monoid and algebra congruences in a monoidal category
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Logical quantizations of first-order structures
- The Fraser-Horn and Apple Properties
- An algebraic treatment of quantifier-free systems of arithmetic
- On some graph problem in the theory of partial algebras. I.
- Representing congruence lattices of lattices with partial unary operations as congruence lattices of lattices. I: Interval equivalence.
- Amalgamation for direct systems
- Bjarni Jónsson's contributions in algebra
- The data type of spatial objects
- scientific article; zbMATH DE number 4012702 (Why is no real title available?)
- Completely regular semigroup varieties generated by Mal'cev products with groups
- scientific article; zbMATH DE number 4154514 (Why is no real title available?)
- Decomposition of pseudo-effect algebras and the Hammer-Sobczyk theorem
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra
- On identities of baric algebras and superalgebras
- Identities for primal Menger algebras
- Orthomodular lattices with state-separated noncompatible pairs
- On the Universal Theory of Classes of Finite Models
- The weak subalgebra lattice of a unary partial algebra of a given infinite unary type
- Hyperidentities and related concepts. I
- On powers of relational and algebraic systems
- scientific article; zbMATH DE number 3963901 (Why is no real title available?)
- Aperiodicity in Tree Automata
- Relative congruence formulas and decompositions in quasivarieties
- \((\mathcal L\), \(\mathcal L')\)-products of algebras
- The lattice of convexities of partial monounary algebras
- An approach to Glivenko's theorem in algebraizable logics
- On partial \(n\)-ary groupoids whose equivalence relations are congruences
- Hypervarieties of a given type
- Varieties of Commutative Semigroups
- The word and generator problems for lattices
- On the equational definition of the least prefixed point.
- Constructive universal algebra: An introduction
- Convex powerdomains. I
- Matching - a special case of unification?
- Inherently nonfinitely based lattices
- Mal'tsev products of varieties. I
- A Characterization of Finitely Decidable Congruence Modular Varieties
- Non-euclidean geometries: the Cayley-Klein approach
- Extending Stone duality to multisets and locally finite MV-algebras.
- The unique minimal clone with three essentially binary operations
- Test sets for the universal and existential closure of regular tree languages.
- scientific article; zbMATH DE number 4101436 (Why is no real title available?)
- Congruence lattices of function lattices
- The max-plus algebra of the natural numbers has no finite equational basis
- Iteration Semirings
- Free products of pseudocomplemented semilattices -- revisited
- Free and projective bimodal symmetric Gödel algebras
- Relational semantics for Kleene logic and action logic
- An introduction to category-based equational logic
- Normal subalgebras. I
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
- On the partially ordered monoid generated by the operators \(H, S, P, P_s\) on classes of algebras
- Programs in partial algebras
- Free Products of Inverse Semigroups
- On automorphisms of categories with applications to universal algebraic geometry
- Varieties of completely regular semigroups generated by Mal'cev products
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- Unions of parafree Lie algebras
- D-semigroups and constellations
- On the structure of varieties with equationally definable principal congruences. I
- A glimpse of deductive systems in algebra
- A complete many-valued logic with product-conjunction
- Arithmeticity at 0
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
- Dynamic Łukasiewicz logic and its application to immune system
- Some applications of the term condition
- Projective MV-algebras and rational polyhedra
- Hyperidentities and hypervarieties
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)
