The following pages link to (Q3934450):
Displayed 50 items.
- On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others (Q408326) (← links)
- On good EQ-algebras (Q409738) (← links)
- A non-associative generalization of Hájek's BL-algebras (Q409739) (← links)
- On limits and colimits of variety-based topological systems (Q409742) (← links)
- The decidability of some classes of Stone algebras (Q412007) (← links)
- Endomorphisms of finite regular Kleene lattices (Q412011) (← links)
- Intuitionistic logic and Muchnik degrees (Q412013) (← links)
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- Bipartite graphs and completely 0-simple semigroups. (Q415549) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Binary central relations and submaximal clones determined by nontrivial equivalence relations. (Q422338) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Lattice properties of congruences for stochastic relations (Q424543) (← links)
- States on commutative basic algebras (Q427918) (← links)
- Equational characterization for two-valued states in orthomodular quantum systems (Q429230) (← links)
- Three ultrafilters in a modular logic (Q429920) (← links)
- The variety generated by semi-Heyting chains (Q432182) (← links)
- On rough set and fuzzy sublattice (Q433051) (← links)
- Quantum complex projective spaces from Toeplitz cubes (Q446425) (← links)
- Projective bichains (Q451076) (← links)
- A refinement of Stone duality to skew Boolean algebras (Q451077) (← links)
- Partially undetermined many-valued events and their conditional probability (Q452350) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- The dual adjunction between MV-algebras and Tychonoff spaces (Q454391) (← links)
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
- Non-reversible betting games on fuzzy events: complexity and algebra (Q533180) (← links)
- Fuzzy hyperalgebras (Q534952) (← links)
- Principal congruences on pseudocomplemented semilattices (Q535107) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- On the structure of pseudo BL-algebras and pseudo hoops in quantum logics (Q535622) (← links)
- An implicit function theorem for algebraically closed fields (Q539983) (← links)
- Self-commuting lattice polynomial functions on chains (Q543287) (← links)
- A non-coordinatizable sectionally complemented modular lattice with a large Jónsson four-frame (Q544144) (← links)
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras (Q554439) (← links)
- Finite fixed point algebras are subdiagonalisable (Q581435) (← links)
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Matching - a special case of unification? (Q582272) (← links)
- Unification theory of different causal algebras and its applications to theoretical physics (Q604690) (← links)
- Some applications of higher commutators in Mal'cev algebras (Q607465) (← links)
- The varieties defined by \(P\)-compatible identities of modular ortholattices (Q609647) (← links)
- Rings and Gödel algebras. (Q616126) (← links)
- Automorphism groups of finite groupoids. (Q616129) (← links)
- Residual properties of pre-bipartite digraphs (Q616134) (← links)
- Bounded lattice structured discriminator varieties (Q616628) (← links)
- Quasi-polynomial functions over bounded distributive lattices (Q623428) (← links)
- Polynomial clones of Mal'cev algebras with small congruence lattices (Q625963) (← links)
- Varieties of recognizable tree series over fields (Q627171) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Maltsev digraphs have a majority polymorphism (Q627926) (← links)