References
Mateusz M. Radzki
(2020). On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions. Axiomathes, 30 (2), 177-191. https://doi.org/10.1007/s10516-019-09446-x.
(2017). On axiom systems of Słupecki for the functionally complete three-valued logic. Axiomathes, 27 (4), 403-415. https://doi.org/10.1007/s10516-016-9319-x.