The following pages link to Hoops and Fuzzy Logic (Q4434613):
Displayed 32 items.
- The variety generated by all the ordinal sums of perfect MV-chains (Q361853) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← links)
- Normal forms and free algebras for some extensions of MTL (Q835114) (← links)
- The logic of tied implications. II. Syntax (Q853468) (← links)
- Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa (Q865044) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
- Representable good EQ-algebras (Q989677) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- A general Glivenko theorem (Q1047099) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- On the predicate logics of continuous t-norm BL-algebras (Q1765100) (← links)
- Logical connectives on lattice effect algebras (Q1935557) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← 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)
- A categorical semantics for fuzzy predicate logic (Q2270237) (← links)
- MTL-algebras arising from partially ordered groups (Q2270238) (← links)
- A categorical equivalence for product algebras (Q2352457) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Fuzzy logic as a logic of the expressive strength of information (Q2476641) (← links)
- What is mathematical fuzzy logic (Q2492308) (← links)
- The logic of tied implications. I: Properties, applications and representation (Q2492316) (← links)
- Mathematical fuzzy logic as a tool for the treatment of vague information (Q2568251) (← links)
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops (Q2573726) (← links)
- A note to the definition of the Ł\(\Pi\)-algebras (Q2576602) (← links)
- Archimedean classes in integral commutative residuated chains (Q3632529) (← links)
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← 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)