This document is unfortunately not available for download at the moment.
(2020) Axiomathes 30 (2).
On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions
Mateusz M. Radzki
pp. 177-191
Not implemented yet !