Pages that link to "Item:Q816867"
From MaRDI portal
The following pages link to Generating the variety of BL-algebras (Q816867):
Displaying 10 items.
- Single chain completeness and some related properties (Q679807) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- A temporal semantics for basic logic (Q1037596) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← 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)
- A Kripke Semantics for Hajek's BL (Q6196499) (← links)
