Dynamic semantics applied to inconsistency-adaptive logic S1.

Аннотация

Статья содержит обсуждение проблемы (и ее решение) семантической характеризации динамики противоречивоадаптивной логики (см., напр., [2]-[7], [9], [11] и [14]). Решение предложено в терминах так называемого метода блоков. Подобный подход может найти применение не только в адаптивной логике и позволяет охватить некоторые аспекты логики (умозаключений, языка), не рассматриваемые с помощью традиционных логических методов (см, [6]). По этой причине данная статья представляет интерес для логиков, непосредственно не занимающихся адаптивной логикой.