Многозначная слабая релевантная логика RS (relevant scaled).

Аннотация

In this article we define semantics for many-valued propositional logic. Distinctive feature o f this semantics is interpretation o f implication connective as arithmetic subtraction.