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.
Similar content being viewed by others
REFERENCES
Anderson, A. R. and Belnap, N. D., Jr,: Entailment. The Logic of Relevance and Necessity, Volume I, Princeton University Press, Princeton, 1975.
Anderson, A. R., Belnap, N. D., Jr. and Dunn, J. M.: Entailment. The Logic of Relevance and Necessity, Volume II, Princeton University Press, Princeton, 1992.
Brady, R. T.: Cut-free Gentzenizations for relevant logics, Unpublished manuscript.
Meyer, R. K.: A Boolean-Valued Semantics for R, Logic Group, Department of Philosophy, Research School of Social Sciences, The Australian National University, Canberra, 1976.
Meyer, R. K. and Mares, E. D.: The semantics of entailment 0, in K. Došen and P. Schröder-Heister (eds), Substructural Logics, Oxford University Press, Oxford, 1993, pp. 239–258.
Meyer, R. K. and Routley, F. R.: Classical relevant logics I, Studia Logica 32 (1973), 51–68.
Meyer, R. K. and Routley, F. R.: Classical relevant logics II, Studia Logica 33 (1974), 183–194.
Routley, F. R. and Meyer, R. K.: The semantics of entailment III, J. Philos. Logic 1 (1972), 192–208.
Routley, F. R., Meyer, R. K., Plumwood, V. and Brady, R. T.: Relevant Logics and Their Rivals I, Ridgeview, Atascadero, CA, 1982.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mares, E.D. CE is Not a Conservative Extension of E . Journal of Philosophical Logic 29, 263–275 (2000). https://doi.org/10.1023/A:1004731401855
Issue Date:
DOI: https://doi.org/10.1023/A:1004731401855