The following pages link to The free \(n\)-generated BL-algebra (Q636351):
Displaying 8 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras (Q1699728) (← links)
- Towards a probability theory for product logic: states, integral representation and reasoning (Q1726388) (← links)
- Functional representation of finitely generated free algebras in subvarieties of BL-algebras (Q2007879) (← links)
- The Differential Semantics of Łukasiewicz Syntactic Consequence (Q2948587) (← links)
- Applications of Finite Duality to Locally Finite Varieties of BL-Algebras (Q3605516) (← links)
