Abstract
We introduce a syntactically simple subclass of formulas of the infinite-valued logic of Łukasiewicz, the class of basic literals, whose associated McNaughton functions are truncated lines. We present some properties of these formulas and an application to states of MV-algebras.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Aguzzoli, S. A note on the representation of McNaughton lines by basic literals. Soft Computing 2, 111–115 (1998). https://doi.org/10.1007/s005000050041
Issue Date:
DOI: https://doi.org/10.1007/s005000050041