Standard

Tarskian consequence relations bilaterall: some familiar notions. / Drobyshevich, Sergey.

In: Synthese, Vol. 198, No. Suppl 22, 10.2021, p. 5213-5240.

Research output: Contribution to journal › Article › peer-review

Harvard

Drobyshevich, S 2021, 'Tarskian consequence relations bilaterall: some familiar notions', Synthese, vol. 198, no. Suppl 22, pp. 5213-5240. https://doi.org/10.1007/s11229-019-02267-w

APA

Drobyshevich, S. (2021). Tarskian consequence relations bilaterall: some familiar notions. Synthese, 198(Suppl 22), 5213-5240. https://doi.org/10.1007/s11229-019-02267-w

Vancouver

Drobyshevich S. Tarskian consequence relations bilaterall: some familiar notions. Synthese. 2021 Oct;198(Suppl 22):5213-5240. doi: 10.1007/s11229-019-02267-w

Author

Drobyshevich, Sergey. / Tarskian consequence relations bilaterall: some familiar notions. In: Synthese. 2021 ; Vol. 198, No. Suppl 22. pp. 5213-5240.

BibTeX

@article{62c679bb22bf40cfa60f3f11183b08a9,
title = "Tarskian consequence relations bilaterall: some familiar notions",
abstract = "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{\textquoteright}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.",
keywords = "Bilateralism, Conservativity, Definitional equivalence, Fragment, Rejection",
author = "Sergey Drobyshevich",
note = "Funding Information: This work was supported by the Alexander von Humboldt Foundation. I would like to thank two anonymous referees for their useful comments. Publisher Copyright: {\textcopyright} 2019, Springer Nature B.V.",
year = "2021",
month = oct,
doi = "10.1007/s11229-019-02267-w",
language = "English",
volume = "198",
pages = "5213--5240",
journal = "Synthese",
issn = "0039-7857",
publisher = "Springer Netherlands",
number = "Suppl 22",

}

RIS

TY - JOUR

T1 - Tarskian consequence relations bilaterall: some familiar notions

AU - Drobyshevich, Sergey

N1 - Funding Information: This work was supported by the Alexander von Humboldt Foundation. I would like to thank two anonymous referees for their useful comments. Publisher Copyright: © 2019, Springer Nature B.V.

PY - 2021/10

Y1 - 2021/10

N2 - 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.

AB - 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.

KW - Bilateralism

KW - Conservativity

KW - Definitional equivalence

KW - Fragment

KW - Rejection

UR - http://www.scopus.com/inward/record.url?scp=85066778160&partnerID=8YFLogxK

UR - https://www.mendeley.com/catalogue/6b4533fc-9148-3973-9995-a0974f2ae6ee/

U2 - 10.1007/s11229-019-02267-w

DO - 10.1007/s11229-019-02267-w

M3 - Article

AN - SCOPUS:85066778160

VL - 198

SP - 5213

EP - 5240

JO - Synthese

JF - Synthese

SN - 0039-7857

IS - Suppl 22

ER -

ID: 20529610