Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'

Journal of Applied Logics 7 (8):2259-2261 (2021)
  Copy   BIBTEX

Abstract

This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Normalisation for Bilateral Classical Logic with some Philosophical Remarks.Nils Kürbis - 2021 - Journal of Applied Logics 2 (8):531-556.
Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.
Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.
Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.
We Can Be in Harmony With Classical Logic.Michael Gabbay - unknown
Normalisation and subformula property for a system of classical logic with Tarski’s rule.Nils Kürbis - 2021 - Archive for Mathematical Logic 61 (1):105-129.
Embedding Denial.David Ripley - 2015 - In Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence. Oxford University Press. pp. 289-309.
Negation, Denial, and Rejection.David Ripley - 2011 - Philosophy Compass 6 (9):622-629.
Bilateralism, Independence and Coordination.Gonçalo Santos - 2018 - Teorema: International Journal of Philosophy 37 (1):23-27.
Assertion, denial and non-classical theories.Greg Restall - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 81--99.
Epistemic Multilateral Logic.Luca Incurvati & Julian J. Schlöder - 2022 - Review of Symbolic Logic 15 (2):505-536.
Proof and Falsity: A Logical Investigation.Nils Kürbis - 2019 - Cambridge, UK: Cambridge University Press.
On assertion and denial in the logic for pragmatics.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Journal of Applied Logic 25:S97-S107.
Classical and Empirical Negation in Subintuitionistic Logic.Michael De & Hitoshi Omori - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 217-235.
Categoricity and Negation. A Note on Kripke’s Affirmativism.Constantin C. Brîncuș & Iulian D. Toader - 2019 - In The Logica Yearbook 2018. London: College Publications. pp. 57-66.

Analytics

Added to PP
2021-08-14

Downloads
188 (#101,974)

6 months
58 (#73,312)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nils Kürbis
Ruhr-Universität Bochum

Citations of this work

Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.

Add more citations

References found in this work

Two Dogmas of Empiricism.W. Quine - 1951 - [Longmans, Green].
Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. Oxford University Press. pp. 481-563.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Impossible Worlds.Francesco Berto & Mark Jago - 2019 - Oxford: Oxford University Press. Edited by Mark Jago.

View all 67 references / Add more references