Tarskian consequence relations bilaterally: some familiar notions

Synthese 198 (S22):5213-5240 (2019)
  Copy   BIBTEX

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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,902

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2019-05-30

Downloads
40 (#614,025)

6 months
7 (#590,730)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.
Uniqueness of Logical Connectives in a Bilateralist Setting.Sara Ayhan - 2021 - In Martin Blicha & Igor Sedlár, The Logica Yearbook 2020. College Publications. pp. 1-16.

Add more citations

References found in this work

Translations from the philosophical writings of Gottlob Frege.Gottlob Frege - 1980 - Oxford, England: Blackwell. Edited by P. T. Geach & Max Black.
The seas of language.Michael Dummett - 1993 - New York: Oxford University Press.
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle, Contemporary aspects of philosophy. Boston: Oriel Press.
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.

View all 32 references / Add more references