scientific article; zbMATH DE number 5268066
From MaRDI portal
Publication:5459443
Cited in
(70)- De Morgan algebras are universal
- Varieties of Boolean inverse semigroups
- Katětov functors
- Congruences on near-Heyting algebras
- Invertible matrices over finite additively idempotent semirings
- Projective algebras and primitive subquasivarieties in varieties with factor congruences
- An algebraic formulation of the locality principle in renormalisation
- On the largest numbers of congruences of finite lattices
- Division by zero in non-involutive meadows
- On the semisimple tensor product of MV-algebras
- Reducing concept lattices by means of a weaker notion of congruence
- Moded and continuous abstract state machines
- Amalgamation and interpolation in ordered algebras.
- Compatibly involutive residuated lattices and the Nelson identity
- Quasi-Nelson algebras
- Characteristic inference rules
- On fuzzification of topological categories
- Categorical foundations of variety-based bornology
- Categorically algebraic topology versus universal topology
- On countable n-valued Post algebras
- On PBZ*-lattices
- Kapsner complementation: an algebraic take on Kapsner strong logics
- A new approach for classification of filters in residuated lattices
- Transformation of fractions into simple fractions in divisive meadows
- Algebraic representation, dualities and beyond
- Projective bichains
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Geometric constructibility of cyclic polygons and a limit theorem
- REFLECTORS AND GLOBALIZATIONS OF PARTIAL ACTIONS OF GROUPS
- Graph congruences and what they connote
- Congruence Boolean Lifting Property
- The dual equivalence of equations and coequations for automata
- Complete topology on BCK-algebras
- Polcag spaces. I: Group-like structures
- Cellular automata over algebraic structures
- Factor congruence lifting property
- A Generalization of Maksimova’s Criterion for the Disjunction Property
- Zerosymmetric idempotent near-rings with abelian additive groups
- Varieties of Birkhoff systems. I
- An algebraic study of multivariable integration and linear substitution
- Gap theorems for robust satisfiability: Boolean CSPs and beyond
- Yankov Characteristic Formulas (An Algebraic Account)
- Some properties of lattice congruences preserving involutions and their largest numbers in the finite case
- On nontrivial weak dicomplementations and the lattice congruences that preserve them
- The structure of certain unique classes of seminearrings
- A simple logic of concepts
- Subreducts and subvarieties of PBZ *-lattices*
- Small and countable inclusive varieties of semigroups
- On polynomial completeness properties of finite Mal'cev algebras
- Deciding dependence in logic and algebra
- A logical consequence informed by probability
- Distributive PBZ*-lattices
- Difference operators on lattices
- Tensor product of partial modules
- Boolean rigs
- An explicit Kuznetsov-Muravitsky enrichment
- Free topological Mal'tsev algebras
- Free universal algebras with separately continuous operations
- Iterating both and neither: with applications to the paradoxes
- Semiorthomodular BZ^-lattices
- A finite algebraic presentation of Lawvere theories in the object-classifier topos
- Set theoretical solutions of equations of n-simplexes
- Concrete constructions of noncommutative free dcpo semigroups
- Symbolic constraint handling through unification in finite algebras
- Expansions of semi-Heyting algebras. I: Discriminator varieties
- Renormalisation and locality: branched zeta values
- On the variety of Gödel MV-algebras
- Topological residuated lattices
- Lattice-valued soft algebras.
- Weakly idempotent lattices and bilattices, non-idempotent Plonka functions.
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 Q5459443)
