Vladimir M. Popov
On sublogics in Vasiliev fragment of the logic definable with A. Arruda's calculus v1
2017
in: The logical legacy of Nikolai Vasiliev and modern logic, Dordrecht : Springer
On sublogics in Vasiliev fragment of the logic definable with A. Arruda's calculus v1
2017
in: The logical legacy of Nikolai Vasiliev and modern logic, Dordrecht : Springer