On an axiomatic system for the logic of linearly ordered BCI-matrices
scientific article; zbMATH DE number 6029804
scientific article