Pages that link to "Item:Q1812017"
From MaRDI portal
The following pages link to Varieties of BL-algebras. I: General properties. (Q1812017):
Displayed 42 items.
- \(n\)-contractive BL-logics (Q535139) (← links)
- On the structure of pseudo BL-algebras and pseudo hoops in quantum logics (Q535622) (← links)
- Pseudo-BCK algebras as partial algebras (Q621618) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- The free \(n\)-generated BL-algebra (Q636351) (← links)
- Complexity issues in Basic Logic (Q816857) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- Finiteness based results in BL-algebras (Q816864) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← links)
- Generating the variety of BL-algebras (Q816867) (← links)
- Bounded commutative residuated \(\ell\)-monoids with general comparability and states (Q816883) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- Product logic and probabilistic Ulam games (Q876494) (← links)
- Every linear pseudo BL-algebra admits a state (Q877764) (← links)
- Embedding theorems for classes of GBL-algebras (Q964512) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- Canonicity in subvarieties of BL-algebras (Q993324) (← links)
- Aglianò-Montagna type decomposition of linear pseudo hoops and its applications (Q995635) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- Supersound many-valued logics and Dedekind-MacNeille completions (Q1042436) (← links)
- On the structure of linearly ordered pseudo-BCK-algebras (Q1042440) (← links)
- Non-commutative fuzzy structures and pairs of weak negations. (Q1428678) (← links)
- On the predicate logics of continuous t-norm BL-algebras (Q1765100) (← 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)
- Fuzzy logics with an additional involutive negation (Q2270236) (← links)
- MTL-algebras arising from partially ordered groups (Q2270238) (← links)
- On extensions of triangular norms on bounded lattices (Q2270525) (← links)
- Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids (Q2497469) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- Natural dualities for varieties of BL-algebras (Q2576643) (← links)
- On decomposition of pseudo BL-algebras (Q3016470) (← links)
- Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras (Q3520226) (← links)
- Applications of Finite Duality to Locally Finite Varieties of BL-Algebras (Q3605516) (← links)
- Archimedean classes in integral commutative residuated chains (Q3632529) (← links)
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms (Q3638206) (← links)
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (Q5426008) (← links)
- (Q5472332) (← links)
- Free algebras in varieties of BL-algebras generated by a BL<sub><i>n</i></sub>-chain (Q5480467) (← links)