Pages that link to "Item:Q1812017"

The following pages link to Varieties of BL-algebras. I: General properties. (Q1812017):

Displaying 50 items.

• Poset product and BL-chains (Q1790603) (← links)
• Monadic bounded hoops (Q1797798) (← links)
• On normal-valued basic pseudo-hoops (Q1933780) (← links)
• Functional representation of finitely generated free algebras in subvarieties of BL-algebras (Q2007879) (← links)
• Representation of BL-algebras with finite independent spectrum (Q2013839) (← links)
• The Hahn embedding theorem for a class of residuated semigroups (Q2027209) (← links)
• Poset product and BL-algebras (Q2035277) (← links)
• Strictly join irreducible varieties of BL-algebras: the missing pieces (Q2049269) (← links)
• Splittings in subreducts of hoops (Q2082253) (← links)
• An algebraic study of the logic \textbf{S5'(BL)} (Q2105717) (← links)
• Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
• Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
• Rotation logics (Q2219165) (← links)
• Finite model property and varieties of BL-algebras (Q2233195) (← links)
• Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
• Compatible deductive systems of pulexes (Q2260323) (← links)
• Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) (← links)
• Triangular norm based predicate fuzzy logics (Q2270233) (← links)
• Fuzzy logics with an additional involutive negation (Q2270236) (← links)
• MTL-algebras arising from partially ordered groups (Q2270238) (← links)
• On extensions of triangular norms on bounded lattices (Q2270525) (← links)
• Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
• MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
• On linear varieties of MTL-algebras (Q2317504) (← links)
• Representation by triples of algebras with an MV-retract (Q2328956) (← links)
• Splittings in GBL-algebras. I: The general case (Q2329010) (← links)
• Splittings in GBL-algebras. II: The representable case (Q2329011) (← links)
• A categorical equivalence for product algebras (Q2352457) (← links)
• Fuzzy \(n\)-fold obstinate filters in BL-algebras (Q2393516) (← links)
• Kites and pseudo BL-algebras. (Q2450843) (← links)
• Varieties generated by standard BL-algebras (Q2454042) (← links)
• Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids (Q2497469) (← links)
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
• Natural dualities for varieties of BL-algebras (Q2576643) (← links)
• Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
• Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components (Q2695340) (← links)
• How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? (Q2948589) (← links)
• On decomposition of pseudo BL-algebras (Q3016470) (← links)
• Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras (Q3520226) (← links)
• Applications of Finite Duality to Locally Finite Varieties of BL-Algebras (Q3605516) (← links)
• Archimedean classes in integral commutative residuated chains (Q3632529) (← links)
• Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms (Q3638206) (← links)
• Split exact sequences of finite MTL-chains (Q5029666) (← links)
• On the Equational Characterization of Continuous t-Norms (Q5213713) (← links)
• Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (Q5426008) (← links)
• (Q5472332) (← links)
• Free algebras in varieties of BL-algebras generated by a BL_<i>n</i>-chain (Q5480467) (← links)
• Varieties of K-lattices (Q6079407) (← links)
• Prelinearity in (quasi-)Nelson logic (Q6079417) (← links)
• Ordinal sums: from triangular norms to bi- and multivariate copulas (Q6083064) (← links)