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