- 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
CE is not a conservative extension of E
Journal of Philosophical Logic 29 (3):263-275 (2000)
Abstract
The logic CE (for "Classical E") results from adding Boolean negation to Anderson and Belnap's logic E. This paper shows that CE is not a conservative extension of EAuthor's Profile
My notes
Similar books and articles
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness.A. D. Yashin - 1999 - Journal of Philosophical Logic 28 (2):175-197.
Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.
A linear conservative extension of zermelo-Fraenkel set theory.Masaru Shirahata - 1996 - Studia Logica 56 (3):361 - 392.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
A1 is not a conservative extension of s4 but of S.Michiro Kondo - 1989 - Journal of Philosophical Logic 18 (3):321 - 323.
Analytics
Added to PP
2009-01-28
Downloads
37 (#430,758)
6 months
6 (#518,648)
2009-01-28
Downloads
37 (#430,758)
6 months
6 (#518,648)
Historical graph of downloads
Author's Profile
Citations of this work
Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.
Non-Boolean classical relevant logics II: Classicality through truth-constants.Tore Fjetland Øgaard - 2021 - Synthese (3-4):1-33.
Boolean negation and non-conservativity I: Relevant modal logics.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):340-362.
Boolean negation and non-conservativity II: The variable-sharing property.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):363-369.
References found in this work
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
The semantics of entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
Classical relevant logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.
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-64dd777598-b9rvg uwo