The following pages link to The writing of the MV-algebras (Q1580657):
Displaying 6 items.
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- AF-algebras with lattice-ordered \(K_0\): logic and computation (Q2084965) (← links)
- Consequence Relations with Real Truth Values (Q5020171) (← links)
- Computing on Lattice-Ordered Abelian Groups (Q5049052) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- Basic algebras, logics, trends and applications (Q5899524) (← links)