A note on the representation of McNaughton lines by basic literals |
| |
| Authors: | S Aguzzoli |
| |
| Affiliation: | (1) Department of Mathematics, University of Siena Via del Capitano 15, 53100, Siena, Italy e-mail: aguzzoli@unisi.it, IT |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
