1. Rational Łukasiewicz logic and DMV-algebras
- Creator:
- Gerla, Brunella
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- many-valued logic, fuzzy logic, Rational Łukasiewicz logic, DMV-algebras, completeness, and computational complexity
- Language:
- English
- Description:
- In this paper we present some results concerning the variety of divisible MV-algebras. Any free divisible MV-algebra is an algebra of continuous piecewise linear functions with rational coefficients. Correspondingly, the Rational Łukasiewicz logic is defined and its tautology problem is shown to be co-NP-complete.
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public