- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'
Journal of Applied Logics 7 (8):2259-2261 (2021)
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.Author's Profile
Nils Kürbis
Ruhr-Universität Bochum
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
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.
Correction regarding 'Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule'.Nils Kürbis - manuscript
Harmony and Normalisation in Bilateral Logic.Pedro del Valle-Inclan - 2023 - Bulletin of the Section of Logic 52 (3):377-409.
Normalisation for Some Quite Interesting Many-Valued Logics.Nils Kürbis & Yaroslav Petrukhin - 2021 - Logic and Logical Philosophy 30 (3):493-534.
Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.
Normalisation for Negative Free Logics Without and with Definite Descriptions.Nils Kürbis - 2025 - Review of Symbolic Logic 18 (1).
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.
Supposition: A Problem for Bilateralism.Nils Kürbis - 2023 - Bulletin of the Section of Logic 53 (3):301-327.
Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.
Analytics
Added to PP
2021-08-14
Downloads
400 (#78,466)
6 months
107 (#63,169)
2021-08-14
Downloads
400 (#78,466)
6 months
107 (#63,169)
Historical graph of downloads
Author's Profile
Nils Kürbis
Ruhr-Universität Bochum
Citations of this work
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.
Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.
References found in this work
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, Themes From Kaplan. New York: Oxford University Press. pp. 481-563.
Two Dogmas of Empiricism.W. V. O. Quine - 2011 - In Robert B. Talisse & Scott F. Aikin, The Pragmatism Reader: From Peirce Through the Present. Princeton University Press. pp. 202-220.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-54b44b69b7-cj6sj uwo