The following pages link to (Q5693612):
Displayed 50 items.
- Fuzzy \(t\)-filters and their properties (Q279341) (← links)
- Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. (Q284973) (← links)
- Normal subalgebras. I (Q354676) (← links)
- Pseudo equality algebras (Q365672) (← links)
- Varieties generated by unital abelian \(\ell\)-groups (Q401022) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- State operators on generalizations of fuzzy structures (Q427916) (← links)
- Factor congruence lifting property (Q519859) (← links)
- Nuclei and conuclei on residuated lattices (Q549349) (← links)
- Cancellative residuated lattices arising on 2-generated submonoids of natural numbers (Q607457) (← links)
- Pseudo-BCK algebras as partial algebras (Q621618) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Conical residuated lattice-ordered idempotent monoids (Q734987) (← links)
- Compatible operations on residuated lattices (Q763311) (← links)
- Bounded commutative residuated \(\ell\)-monoids with general comparability and states (Q816883) (← links)
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices (Q835128) (← links)
- Functional completeness of bounded structures of fuzzy logic with wvt-operators (Q835282) (← links)
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580) (← links)
- Truth values on generalizations of some commutative fuzzy structures (Q869115) (← links)
- A generalization of local fuzzy structures (Q877762) (← links)
- Relative negations in non-commutative fuzzy structures (Q890025) (← links)
- Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras (Q898779) (← links)
- The Conrad program: from \(l\)-groups to algebras of logic. (Q906860) (← links)
- Partial residuated structures and quantum structures (Q939179) (← links)
- Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras (Q942326) (← links)
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Embedding theorems for classes of GBL-algebras (Q964512) (← links)
- Residuated lattices of size \(\leq 12\) (Q981681) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- On some categories of involutive centered residuated lattices (Q1005951) (← links)
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- Ordinal decompositions for preordered root systems (Q1035655) (← links)
- Generalizations of Boolean products for lattice-ordered algebras (Q1035658) (← links)
- Ordered groups with a conucleus (Q1035670) (← links)
- A note on intervals of residuated \(\ell \)-groupoids (Q1040919) (← links)
- A general frame for intuitionistic fuzzy rough sets (Q1761618) (← links)
- Generalized MV-algebras (Q1770501) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← 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)
- 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)
- 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)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Associativity, commutativity and symmetry in residuated structures (Q2376900) (← links)