The following pages link to On the structure of hoops (Q1866813):
Displaying 50 items.
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- Hoop twist-structures (Q334145) (← links)
- The variety generated by all the ordinal sums of perfect MV-chains (Q361853) (← links)
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- Cancellative residuated lattices arising on 2-generated submonoids of natural numbers (Q607457) (← links)
- MV-closures of Wajsberg hoops and applications (Q616116) (← links)
- Multipotent GBL-algebras (Q616119) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Logic for abstract hoop twist-structures (Q720755) (← links)
- A short note on divisible residuated semilattices (Q780241) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- Generating the variety of BL-algebras (Q816867) (← links)
- Pavelka-style completeness in expansions of Łukasiewicz logic (Q937210) (← links)
- \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
- Embedding theorems for classes of GBL-algebras (Q964512) (← links)
- Canonicity in subvarieties of BL-algebras (Q993324) (← links)
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (Q1006641) (← links)
- On the structure of linearly ordered pseudo-BCK-algebras (Q1042440) (← links)
- A general Glivenko theorem (Q1047099) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- Nodal filters in hoop algebras (Q1626240) (← links)
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic (Q1697516) (← links)
- An expansion of basic logic with fixed points (Q1699729) (← links)
- Varieties of BL-algebras. I, revisited (Q1699741) (← links)
- States and internal states on semihoops (Q1701788) (← links)
- State maps on semihoops (Q1738200) (← links)
- On the predicate logics of continuous t-norm BL-algebras (Q1765100) (← links)
- A logical and algebraic treatment of conditional probability (Q1766925) (← links)
- Varieties of BL-algebras. II (Q1790601) (← links)
- Poset product and BL-chains (Q1790603) (← links)
- Monadic bounded hoops (Q1797798) (← links)
- Varieties of BL-algebras. I: General properties. (Q1812017) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term (Q1935556) (← links)
- Minimal varieties of representable commutative residuated lattices (Q1935563) (← links)
- Representation of BL-algebras with finite independent spectrum (Q2013839) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- Generalized ordinal sums of aggregation operators on bounded lattices (Q2023167) (← links)
- Poset product and BL-algebras (Q2035277) (← links)
- Strictly join irreducible varieties of BL-algebras: the missing pieces (Q2049269) (← links)
- A variety containing EMV-algebras and Pierce sheaves of EMV-algebras (Q2049270) (← links)
- Splittings in subreducts of hoops (Q2082253) (← links)
- The existence of states based on Glivenko semihoops (Q2085584) (← links)
