The following pages link to (Q5693612):
Displaying 50 items.
- Fuzzy extended filters on residuated lattices (Q1797832) (← links)
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561) (← links)
- On Birkhoff's common abstraction problem (Q1935562) (← links)
- Minimal varieties of representable commutative residuated lattices (Q1935563) (← links)
- Monadic bounded residuated lattices (Q1943692) (← links)
- Semilinear substructural logics with the finite embeddability property (Q1991589) (← links)
- States of finite GBL-algebras with monoidal sum (Q2013841) (← links)
- Ideals and involutive filters in generalizations of fuzzy structures (Q2013844) (← links)
- Axiomatizing logics of fuzzy preferences using graded modalities (Q2035319) (← links)
- Prime, minimal prime and maximal ideals spaces in residuated lattices (Q2035407) (← links)
- On finite MTL-algebras that are representable as poset products of Archimedean chains (Q2041249) (← links)
- Residuated structures and orthomodular lattices (Q2062191) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Modules with fusion and implication based over distributive lattices: representation and duality (Q2122479) (← links)
- Boolean lifting property in quantales (Q2152945) (← links)
- Quasicomplemented residuated lattices (Q2153579) (← links)
- Residuated lattice of \(L\)-fuzzy ideals of a ring (Q2153650) (← links)
- Beyond wreath and block (Q2163865) (← links)
- Structure theorems for idempotent residuated lattices (Q2182567) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Word problem for knotted residuated lattices. (Q2254319) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- Residual operations of monotone binary operations over complete lattices (Q2283278) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- The going-up and going-down theorems in residuated lattices (Q2318601) (← links)
- Splittings in GBL-algebras. I: The general case (Q2329010) (← links)
- On residuated lattices with left and right internal state (Q2329012) (← links)
- On EMV-algebras (Q2329016) (← links)
- Compatible operations on commutative weak residuated lattices (Q2343034) (← links)
- From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices (Q2352454) (← links)
- Obstinate, weak implicative and fantastic filters of non commutative residuated lattices (Q2361597) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Associativity, commutativity and symmetry in residuated structures (Q2376900) (← links)
- Algebras with implication and fusion: a different point of view. (Q2377311) (← links)
- Generalized Bosbach states. I (Q2377355) (← links)
- On very true operators on pocrims (Q2391233) (← links)
- Extended filters in bounded commutative \(Rl\)-monoids (Q2391676) (← links)
- Extended-order algebras and fuzzy implicators (Q2391907) (← links)
- Hulls of ordered algebras: projectability, strong projectability and lateral completeness (Q2397563) (← links)
- Variety generated by conical residuated lattice-ordered idempotent monoids (Q2416382) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Minimal varieties of involutive residuated lattices (Q2433108) (← links)
- Interior and closure operators on bounded residuated lattices (Q2440566) (← links)
- Lattice-theoretic properties of algebras of logic (Q2448299) (← links)
- Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras. (Q2449457) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Boolean filters and positive implicative filters of residuated lattices (Q2465345) (← links)
- Representable pseudo-BCK-algebras and integral residuated lattices (Q2466509) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)