Pages that link to "Item:Q1407598"
From MaRDI portal
The following pages link to Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic (Q1407598):
Displaying 20 items.
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras (Q278739) (← links)
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Glivenko theorems revisited (Q1035660) (← links)
- Least \(V\)-quasivarieties of MV-algebras (Q1697351) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Free algebras in varieties of Stonean residuated lattices (Q2466756) (← links)
- Some modal and temporal translations of generalized basic logic (Q2695352) (← links)
- Fuzzy Time in Linear Temporal Logic (Q2946742) (← links)
- Glivenko theorems for substructural logics over FL (Q3416119) (← links)
- Negation in bounded commutative DRℓ-monoids (Q3599905) (← links)
- Several types of filters related to the Stonean axiom in residuated lattices (Q5275916) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
- (Q5472337) (← links)
- Free algebras in varieties of BL-algebras generated by a BL<sub><i>n</i></sub>-chain (Q5480467) (← links)
- The geometry of discrete \(L\)-algebras (Q6060894) (← links)