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