The following pages link to (Q3934450):
Displayed 50 items.
- 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)
- Monadic bounded algebras (Q708923) (← links)
- Comparison semigroups and algebras of transformations. (Q711608) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Conical residuated lattice-ordered idempotent monoids (Q734987) (← links)
- An elementary theory of product-line variations (Q736801) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Joins of subalgebras and normals in 0-regular varieties (Q745711) (← links)
- The finite basis problem for Kauffman monoids. (Q745715) (← links)
- Many for the price of one duality principle for affine sets (Q748704) (← links)
- A note on irredundant sets (Q751685) (← links)
- On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics (Q751686) (← links)
- Quasivarieties and congruence permutability of Łukasiewicz implication algebras (Q763305) (← links)
- Free-decomposability in varieties of pseudocomplemented residuated lattices (Q763308) (← links)
- Resolution of algebraic systems of equations in the variety of cyclic Post algebras (Q763314) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Filters and ideals in the generalization of pseudo-BL algebras (Q780271) (← links)
- A note on the algebraicity of \(L\)-fuzzy subalgebras in universal algebra (Q780280) (← links)
- The lattice of varieties of implication semigroups (Q781528) (← links)