Tarskian consequence relations bilaterall: some familiar notions

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

Аннотация

This paper is dedicated to developing a formalism that takes rejection seriously. Bilateral notation of signed formulas with force indicators is adopted to define signed consequences which can be viewed as the bilateral counterpart of Tarskian consequence relations. Its relation to some other bilateral approaches is discussed. It is shown how David Nelson’s logic N4 can be characterized bilaterally and the corresponding completeness result is proved. Further, bilateral variants of three familiar notions are considered and investigated: that of a fragment, of definitional equivalence, and of a conservative extension.

Язык оригиналаанглийский
Страницы (с-по)5213-5240
Число страниц28
ЖурналSynthese
Том198
Номер выпускаSuppl 22
DOI
СостояниеОпубликовано - окт 2021

Предметные области OECD FOS+WOS

  • 6.03.UA ФИЛОСОФИЯ
  • 5.09 ПРОЧИЕ СОЦИАЛЬНЫЕ НАУКИ
  • 6.01.MQ ИСТОРИЯ И ФИЛОСОФИЯ НАУКИ

Fingerprint

Подробные сведения о темах исследования «Tarskian consequence relations bilaterall: some familiar notions». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать