Now showing items 1-1 of 1

    • Явный базис допустимых правил вывода логик конечной ширины 

      Римацкий, Виталий В.; Vitaly V.Rimatsky (Сибирский федеральный университет. Siberian Federal University, 2008-01)
      В статье описывается явный конечный базис для допустимых правил вывода модальных логик конечной ширины, расширяющих логику S4. Полученный базис состоит из последовательности правил, которые имеют компактную и легко обозримую ...