Tarskian consequence relations bilaterally: 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.

Язык оригиналаанглийский
СостояниеОпубликовано - 1 янв 2019

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