Bibliography
A.R. Anderson, “Some open problems concerning the system E of entailment,”Acta Philosophical Fennica 16 (1963), 7–18.
N.D. Belnap, Jr., and John R. Wallace, “A decision procedure for the system EĪ of entailment with negation,”Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (1965), 277–89.
R.K. Meyer, “Entailment and relevant implication,”Logique et Analyse 11 (1968), 472–9.
R. Routley and R.K. Meyer, “The semantics of entailment II,”Journal of Philosophical Logic 1 (1972), 53–73.
A.R. Anderson, and N.D. Belnap, Jr.,Entailment, Princeton, 1974.
R. Routley and R.K. Meyer, “The semantics of entailment IV,”The Journal of Symbolic Logic, forthcoming.
Kit Fine, “Models for entailment,” forthcoming
H.B. Curry,Foundations of Mathematical Logic, N.Y., 1963.
Saul Kripke, “The problem of entailment,” abstract,The Journal of Symbolic Logic 24 (1959), 324.
R.K. Meyer, “Improved decision procedures for pure relevant logics,” in preparation.
A. Church, “The weak theory of implication,” inKontrolliertes Denken, Munich, 1951. (Abstract, “Minimal logic,”The Journal of Symbolic Logic) 16 (1951), 239.
H.B. Curry, Review of [11]“The weak theory of implication,”The Journal of Symbolic Logic 18 (1953), 177, 326.
R.K. Meyer,Topics in modal and many-valued logic, thesis, U. of Pittsburgh 1966.
R.K. Meyer, “The pure calculus of entailment is the pure calculus of entailment,” typescript, 1971.
R.K. Meyer, “New axiomatics for relevant logics I,”Journal of Philosophical Logic 3 (1974), 53–86.
R. Routley, and R.K. Meyer, “The semantics of entailment (I),” in H. Leblanc, ed.,Truth, Syntax, Modality, N. Holland, 1973.
R.K. Meyer, and R. Routley, “Algebraic analysis of entailment I,”Logique et Analyse.
R. Routley, and R.K. Meyer, “The semantics of entailment V,” typescript, 1972.
R.K. Meyer, “Conservative extension in relevant implication,”Studia Logica.
R.K. Meyer, “On conserving positive logics,”Notre Dame Journal of Formal Logic.
R. Routley, and R.K. Meyer, “The semantics of entailment III,”Journal of Philosophical Logic 1 (1972), 192–208.
R.K. Meyer, “Coherence revisited,” typescript, 1972.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Meyer, R.K., Routley, R. E is a conservative extension of EĪ. Philosophia 4, 223–249 (1974). https://doi.org/10.1007/BF02379225
Issue Date:
DOI: https://doi.org/10.1007/BF02379225