We introduce a syntactically simple subclass of formulas of the infinite-valued logic of Lukasiewicz, 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 MValgebras.
A note on the representation of McNaughton lines by basic literals / S. Aguzzoli. - In: SOFT COMPUTING. - ISSN 1432-7643. - 2:3(1998), pp. 111-115. [10.1007/s005000050041]
A note on the representation of McNaughton lines by basic literals
S. AguzzoliPrimo
1998
Abstract
We introduce a syntactically simple subclass of formulas of the infinite-valued logic of Lukasiewicz, 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 MValgebras.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
