Strong Decidability and Strong Recognizability

Результат исследования: Научные публикации в периодических изданияхстатья

5 Цитирования (Scopus)


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 are strongly decidable over J. This means that, given any finite list Rul of axiom schemes and rules of inference, we can effectively verify whether the logic with axioms and schemes, J + Rul, belongs to a given family. Strong recognizability over J is proved for known logics Neg, Gl, and KC as well as for logics LC and NC and all their extensions.

Язык оригиналаанглийский
Страницы (с-по)370-385
Число страниц16
ЖурналAlgebra and Logic
Номер выпуска5
СостояниеОпубликовано - 1 ноя 2017

Fingerprint Подробные сведения о темах исследования «Strong Decidability and Strong Recognizability». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать