Mathematics

Axiomatization of intuitionistic logics defined by small frames

S. I. Bashmakov, M. I. Golovanov

Siberian Federal University, 79 Svobodniy pr., Krasnoyarsk 660041, Russia

Abstract: In this paper, we study the tabular intuitionistic logics semantically characterized by the Kripke frames of the depths no greater than 3 and widths no greater than 2. The axiomatization of such basic logics is given; the lattice generated by them is constructed. Known methods make it possible, using given axiomatization, to specify the axiomatic of the remaining logics from the lattice.

Keywords: superintuitionistic logic, Kripke frame, axiomatization of logic.

UDC: 510.649

Received: 01.11.2016

Bibliographic databases:

•