A temporal semantics for Nilpotent Minimum logic

https://doi.org/10.1016/j.ijar.2013.10.007Get rights and content
Under an Elsevier user license
open archive

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 [22], [17], 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 [24], [14] and Basic Logic [27].

Keywords

Rough sets
Many-valued logics
Pre-rough algebras
Nilpotent Minimum logic
Temporal semantics
Łukasiewicz logic

Cited by (0)

1

The author was partially supported by the National Italian FIRB 2010 project titled “Probability theory of non-classical events”.