The following pages link to The free \(n\)-generated BL-algebra (Q636351):
Displaying 13 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)
- Representation of BL-algebras with finite independent spectrum (Q2013839) (← links)
- Free algebras in varieties of BL-algebras generated by a chain. (Q2583574) (← links)
- Free \(\text{BL}_\Delta\)-algebras (Q2784598) (← links)
- The Differential Semantics of Łukasiewicz Syntactic Consequence (Q2948587) (← links)
- Applications of Finite Duality to Locally Finite Varieties of BL-Algebras (Q3605516) (← links)
- FREE (n + 1) - VALUED ŁUKASIEWICZ BCK-ALGEBRAS (Q4654562) (← links)
- Free algebras in varieties of BL-algebras generated by a BL<sub><i>n</i></sub>-chain (Q5480467) (← links)
