The following pages link to Hoops and Fuzzy Logic (Q4434613):
Displaying 50 items.
- Hoop twist-structures (Q334145) (← links)
- The variety generated by all the ordinal sums of perfect MV-chains (Q361853) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Logic for abstract hoop twist-structures (Q720755) (← 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)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← 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)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
- States and internal states on semihoops (Q1701788) (← links)
- State maps on semihoops (Q1738200) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- On the predicate logics of continuous t-norm BL-algebras (Q1765100) (← links)
- Monadic bounded hoops (Q1797798) (← links)
- Logical connectives on lattice effect algebras (Q1935557) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- Strictly join irreducible varieties of BL-algebras: the missing pieces (Q2049269) (← links)
- The existence of states based on Glivenko semihoops (Q2085584) (← links)
- Spectra and reticulation of semihoops (Q2111822) (← links)
- From semantic games to provability: the case of Gödel logic (Q2118973) (← 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)
- On linear varieties of MTL-algebras (Q2317504) (← links)
- Representation by triples of algebras with an MV-retract (Q2328956) (← 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)
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components (Q2695340) (← links)
- Local and perfect semihoops (Q2953506) (← links)
- Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$ (Q3298273) (← links)
- Archimedean classes in integral commutative residuated chains (Q3632529) (← links)
- Split exact sequences of finite MTL-chains (Q5029666) (← links)
- Axiomatization of non-associative generalisations of Hájek's BL and psBL (Q5217247) (← links)
