The following pages link to (Q3934450):
Displayed 50 items.
- 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)
- Finite basis problem for 2-testable monoids. (Q632275) (← links)
- Nearlattices with an overriding operation (Q633219) (← links)
- On the finite basis problem for the monoids of triangular Boolean matrices. (Q634761) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Congruence openings of additive Green's relations on a semiring. (Q637601) (← links)
- Henriksen and Isbell on \(f\)-rings (Q639698) (← links)
- Conditional geometric scales of discriminator varieties (Q642057) (← links)
- Axiomatizability by \({\forall \exists!}\)-sentences (Q647342) (← links)
- A logical characterization of coherence for imprecise probabilities (Q648377) (← links)
- State morphism MV-algebras (Q648387) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- On the variety generated by all semigroups of order three. (Q652165) (← links)
- Axiomatizations of quasi-Lovász extensions of pseudo-Boolean functions (Q657823) (← links)
- Cross varieties of aperiodic monoids with central idempotents. (Q658576) (← links)
- Compatible relations on Heyting chains (Q664307) (← links)
- \(T_0\)-closure operators and pre-orders (Q669556) (← links)
- An algebraic characterization of frontier testable tree languages (Q672861) (← links)
- Term rewriting and Hoare logic -- Coded rewriting (Q673226) (← links)
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- Variety theorem for algebras with fuzzy orders (Q679841) (← links)
- Dynamics in the decompositions approach to quantum mechanics (Q682657) (← links)
- Varieties of orthocomplemented lattices induced by Łukasiewicz-groupoid-valued mappings (Q682660) (← links)
- Locally commutative power semigroups and counting factors of words (Q685456) (← links)
- Nonfinitely based pseudovarieties and inherently nonfinitely based varieties (Q687646) (← links)
- Compact algebras in discriminator varieties (Q690118) (← links)
- A sufficient condition for the non-finite basis property of semigroups. (Q691030) (← links)
- An algebraic approach to linguistic hedges in Zadeh's fuzzy logic (Q698828) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)