On the logics related to A. Arruda’s system V1
V. M. Popov · Logic and Logical Philosophy · 2004
Four logics I0, I1, I2, and I3 related to A. Arruda’s system V1 are considered. For each of them the semantics of descriptions of states in the style of E.K. Vojshvillo [2] is constructed, the question of characterizability by means of finite logical matrix is investigated and Gentzen-type sequent version is presented.