CE is not a conservative extension of E

Journal of Philosophical Logic 29 (3):263-275 (2000)
  Copy   BIBTEX

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 E

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1004731401855

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: 105,030

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

Boolean Conservative Extension Results for some Modal Relevant Logics.Edwin D. Mares & Koji Tanaka - 2010 - Australasian Journal of Logic 8 (5):31-49.
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.
Gentzen-Type Methods for Bilattice Negation.Norihiro Kamide - 2005 - Studia Logica 80 (2-3):265-289.
Basic Quasi-Boolean Expansions of Relevance Logics.Gemma Robles & José M. Méndez - 2021 - Journal of Philosophical Logic 50 (4):727-754.
Modal logic S4 as a paraconsistent logic with a topological semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Caleiro Carlos, Dionisio Francisco, Gouveia Paula, Mateus Paulo & Rasga João, Logic and Computation: Essays in Honour of Amilcar Sernadas. College Publications. pp. 171-196.
A Pretabular Classical Relevance Logic.Lisa Galminas & John G. Mersch - 2012 - Studia Logica 100 (6):1211-1221.
Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
Anderson And Belnap's Minimal Positive Logic With Minimal Negation.J. Mendez, F. Salto & G. Robles - 2002 - Reports on Mathematical Logic 36:117-130.
Relevance logic as a conservative extension of classical logic.David C. Makinson - 2014 - In Sven Ove Hansson, David Makinson on Classical Methods for Non-Classical Problems. Series: Outstanding Contributions to Logic. Springer.

Analytics

Added to PP
2009-01-28

Downloads
46 (#533,455)

6 months
2 (#1,374,505)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edwin Mares
Victoria University of Wellington

Citations of this work

Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.
Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (1):145-181.

View all 10 citations / Add more citations

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

View all 6 references / Add more references