Таблично допустимые правила вывода : научное издание

Описание

Перевод названия: 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

Место издания: Новосибирск

Издатель: Общественный фонд "Сибирский фонд алгебры и логики"

Авторы

Вхождение в базы данных