The following pages link to On the structure of hoops (Q1866813):
Displaying 50 items.
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Poset products as relational models (Q2115284) (← links)
- Locally \(\sigma \)-complete and locally complete EMV-algebras (Q2156993) (← links)
- Rotation logics (Q2219165) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
- Involutive filters of pseudo-hoops (Q2296039) (← links)
- On linear varieties of MTL-algebras (Q2317504) (← links)
- Splittings in GBL-algebras. I: The general case (Q2329010) (← links)
- A family of graded epistemic logics (Q2333311) (← links)
- Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. (Q2351509) (← links)
- A categorical equivalence for product algebras (Q2352457) (← links)
- Decomposition of Garside groups and self-similar \(L\)-algebras (Q2357513) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Factor congruences in BCK-algebras (Q2391226) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Subdirectly irreducible residuated semilattices and positive universal classes (Q2433107) (← links)
- Minimal varieties of involutive residuated lattices (Q2433108) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II. (Q2466758) (← links)
- On ordinal sums of triangular norms on bounded lattices (Q2492377) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- Right \(l\)-groups, geometric Garside groups, and solutions of the quantum Yang-Baxter equation (Q2515622) (← links)
- A small set of axioms for residuated logic (Q2568232) (← links)
- Natural dualities for varieties of BL-algebras (Q2576643) (← links)
- Measures Induced by Units (Q2869906) (← links)
- VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS (Q2986033) (← links)
- Fuzzy regular relation on hyper hoop-algebras (Q2988527) (← links)
- Generic substitutions (Q3370754) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- Results on Hyper Hoop-Algebras (Q4600209) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- Soju Filters in Hoop Algebras (Q4999466) (← links)
- Splittings in varieties of logic (Q5002194) (← links)
- (Q5092038) (← links)
- On the Equational Characterization of Continuous t-Norms (Q5213713) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops (Q5426007) (← links)
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (Q5426008) (← links)
- The Automorphism Group of Falsum-Free Product Logic (Q5426009) (← links)
- Free algebras in varieties of BL-algebras generated by a BL<sub><i>n</i></sub>-chain (Q5480467) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
- Quotient Hoops Induced by Quasi-Valuation Maps (Q5881369) (← links)
- Varieties of K-lattices (Q6079407) (← links)
- Varieties of bounded K-lattices (Q6079408) (← links)
- Ordinal sums: from triangular norms to bi- and multivariate copulas (Q6083064) (← links)
