Перевод названия: Table admissible inference rules
Тип публикации: статья из журнала
Год издания: 2009
Ключевые слова: Inference Rules, table logic, Superintuitionistic logic, правила вывода, табличная логика, суперинтуиционистская логика
Аннотация: Описывается рекурсивный базис правил вывода, допустимых сразу во всех табличных (финитно аппроксимируемых) логиках, расширяющих одну из логик Int и Grz. Получен достаточно простой семантический критерий допустимости заданного правила вывода во всех табличных суперинтуиционистских логиках, а также связь допустимости правила во всех Показать полностьютабличных (финитно аппроксимируемых) суперинтуиционистских логиках и его истинности в логике Int. A recursive basis of inference rules is described which are instantaneously admissible in all table (residually finite) logics extending one of the logics Int and Grz. A rather simple semantic criterion is derived to determine whether a given inference rule is admissible in all table superintuitionistic logics, and the relationship is established between admissibility of a rule in all table (residually finite) logics and its truth values in Int.
Журнал: Алгебра и логика
Выпуск журнала: Т. 48, № 3
Номера страниц: 400-414
ISSN журнала: 03739252
Место издания: Новосибирск
Издатель: Общественный фонд "Сибирский фонд алгебры и логики"