Rational Lukasiewicz logic and DMV-algebras
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2012
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916125261955072 |
|---|---|
| author | Gerla, Brunella |
| author_facet | Gerla, Brunella |
| contents | In this paper we present some results on the variety of divisible MV-algebras. Any free divisible MV-algebra is an algebra of continuous piecewise linear functions with rational coefficients. Correspondingly, Rational Łukasiewicz logic is defined. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1211_5485 |
| institution | arXiv |
| publishDate | 2012 |
| record_format | arxiv |
| spellingShingle | Rational Lukasiewicz logic and DMV-algebras Gerla, Brunella Logic 06D35, 03B50 In this paper we present some results on the variety of divisible MV-algebras. Any free divisible MV-algebra is an algebra of continuous piecewise linear functions with rational coefficients. Correspondingly, Rational Łukasiewicz logic is defined. |
| title | Rational Lukasiewicz logic and DMV-algebras |
| topic | Logic 06D35, 03B50 |
| url | https://arxiv.org/abs/1211.5485 |