In [6] a connection among rough sets (in particular, pre-rough algebras) and three-valued Łukasiewicz logic Ł3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM and , in which the logic of every instant is given by Ł3: a completeness theorem will be shown. This is the prosecution of the work initiated in [5] and [1], in which the authors construct a temporal semantics for the many-valued logics of Gödel and and Basic Logic [27].
A temporal semantics for Nilpotent Minimum logic / M. Bianchi. - In: INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. - ISSN 0888-613X. - 55:1(2014 Jan), pp. 391-401. [10.1016/j.ijar.2013.10.007]
A temporal semantics for Nilpotent Minimum logic
M. Bianchi
2014
Abstract
In [6] a connection among rough sets (in particular, pre-rough algebras) and three-valued Łukasiewicz logic Ł3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM and , in which the logic of every instant is given by Ł3: a completeness theorem will be shown. This is the prosecution of the work initiated in [5] and [1], in which the authors construct a temporal semantics for the many-valued logics of Gödel and and Basic Logic [27].
| File | Dimensione | Formato | |
|---|---|---|---|
|
1-s2.0-S0888613X13002296-main.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
280.11 kB
Formato
Adobe PDF
|
280.11 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
