Vladimir M. Popov
(2010-2019)
XOn 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
(2010-2019)
XOn 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