A NOTE ON THE ADEQUACY OF JERZY KALINOWSKI'S K1 LOGIC
Piotr Kulicki · 2014
Jerzy Kalinowski’s K1 logic is one of the rst systems of deontic logic. Kalinowski presented it in two forms: as an axiomatic system and with the use of deontic tables analogous to Lukasiewicz’s thee-valued propositional logic. Adequacy of those two approaches is proven.