3 search results - page 1 / 1 » Free MV-algebras |
LOGCOM
2010
13 years 3 months ago
2010
We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Lukasiewicz logic, as well as validity ...
EUSFLAT
2007
13 years 6 months ago
2007
We describe n-generated free MV -algebras as MV-algebras having the lattice reduct which is a direct limit in the category of distributive lattices.
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of gen...