Подструктурные логики: гильбертовский подход.

Abstract

There analogies of substructural logics in Gilbert's form are considered. The main emphasys is made on Lukasiewicz’s infinite valued logic $\L{}_\infty$ and logic \textbf{RM}. Since some Gilberts substructural logics are extensions of classical logic then the problem of explication of the notion of “substructural logics ” arises.