The following pages link to (Q3934450):
Displayed 50 items.
- 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)
- On the size of congruence lattices for models of theories with definability of congruences (Q793011) (← links)
- On linear varieties (Q797610) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Algebraic fuzzy systems (Q809113) (← links)
- Irreducibility in algebraic fuzzy systems (Q809114) (← links)
- Algebras with fuzzy equalities (Q812608) (← links)
- An answer to Demirci's open question, a clarification of his result, and a correction of his interpretation of the result (Q812610) (← links)
- First order theories for partial models (Q813079) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- Complexity issues in Basic Logic (Q816857) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- A note on congruence permutability and fuzzy logic (Q816886) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)