Трехзначная логика с измененной импликацией

[cscscs]

Меня очень интересует трехзначная логика в которой таблицы для отрицания, конъюнкции, дизъюнкции в точности как здесь http://en.wikipedia.org/wiki/Three-valued_logic#Logics
но импликация не такая как у Клини:

A → B     |False  True  Unknown 
----------|--------------------
False     |True   True    True
True      |False  True    Unknown
Unknown   |False  True    Unknown

Отличие от импликации Клини всего в одном значении: у меня $\text{Unknown} \to \text{False} = \text{False}$, а у него $\text{Unknown} \to \text{False} = \text{Unknown}$. Для остальных значений все одинаково.
Подскажите книги, статьи, что угодно, где бы изучалась такая логика. Просто я сам хочу её исследовать, но не хочется изобретать велосипед.

[Tod Leben]

Наберите в поиске по форуму "Троичная логика и необычная схемотехника".
Посмотрите эту тему. Может что-то найдёте для себя.

[cscscs]

Нашел. Это система $RM_{3}^{\supset}$. С очень интересными свойствами.
Подробней здесь можете посмотреть http://projecteuclid.org/euclid.ndjfl/1093636612