Pages that link to "Item:Q816867"
From MaRDI portal
The following pages link to Generating the variety of BL-algebras (Q816867):
Displaying 19 items.
- The variety generated by all the ordinal sums of perfect MV-chains (Q361853) (← links)
- Varieties generated by t-norms (Q558518) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- A temporal semantics for basic logic (Q1037596) (← links)
- Subvarieties of BL-algebras generated by single-component chains (Q1407568) (← links)
- The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting (Q1601907) (← links)
- Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes (Q1623135) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Varieties of BL-algebras. I, revisited (Q1699741) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- Free algebras in varieties of BL-algebras generated by a chain. (Q2583574) (← links)
- A Note on Saturated Models for Many-Valued Logics (Q3454724) (← links)
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms (Q3638206) (← links)
- A Note on Drastic Product Logic (Q5230076) (← links)
- Free algebras in varieties of BL-algebras generated by a BL<sub><i>n</i></sub>-chain (Q5480467) (← links)
- A Kripke Semantics for Hajek's BL (Q6196499) (← links)
