References
Mateusz M. Radzki
(2020). On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions. Axiomathes 30 (2), pp. 177-191.
(2017). On axiom systems of Słupecki for the functionally complete three-valued logic. Axiomathes 27 (4), pp. 403-415.