Pages that link to "Item:Q816859"
From MaRDI portal
The following pages link to Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859):
Displaying 7 items.
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Commutative integral bounded residuated lattices with an added involution (Q1035650) (← links)
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic (Q1697516) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Fuzzy \(n\)-fold obstinate filters in BL-algebras (Q2393516) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
