On sublogics in Vasiliev fragment of the logic definable with A. Arruda's calculus v1

2017

Vladimir M. Popov, Shangin

in: The logical legacy of Nikolai Vasiliev and modern logic, Berlin,