A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic

Beata Konikowska. A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic. Studia Logica, 49(4):541-555, 1990. [doi]

Abstract

Abstract is missing.