STRONG DECIDABILITY AND STRONG RECOGNIZABILITY

Maksimova, LL; Yun, VF

Maksimova, LL (reprint author), Sobolev Inst Math, Pr Akad Koptyuga 4, Novosibirsk 630090, Russia.; Maksimova, LL (reprint author), Novosibirsk State Univ, Ul Pirogova 1, Novosibirsk 630090, Russia.

ALGEBRA AND LOGIC, 2017; 56 (5): 370

Abstract

Extensions of Johansson's minimal logic J are considered. It is proved that families of negative and nontrivial logics and a series of other families ......

Full Text Link