- W. V. O. Quine is our authority; cf. ‘Reply to Professor Marcus,’ reprinted in Quine W.V.O. The Ways of Paradox 1966
- Cf., e.g. Nelson's Intensional relations Mind 1930 39 440 453
- 1956 . The Journal of Symbolic Logic , 21 : 113 – 128 . has Ackermann's seminal ‘Bergründung einer strenger Implikation’
- For historical remarks and motivation of E, see Belnap N.D. Jr. A formal analysis of entailment 1960 This is Belnap's dissertation, written under the direction of A. R. Anderson. A full account of the relevant logics will appear in the Anderson-Belnap treatise Entailment, vol. I of which is to be very shortly published.
- Cf., e.g. Routley Meyer The semantics of entailment III The Journal of Philosophical Logic 1972 1 192 208 There are now about a dozen Routley-Meyer articles related to this topic, while similar ideas have been advanced, for the most part independently, by Urquhart, Fine, Maximova, Scott, and Gabbay.
- Cf. my On Coherence in Modal Logics Logique et analyse 1971 14 658 668
- E.g., see their Non-contingency Axioms for S4 and S5 Logique et analyse 1968 11 422 424
- Cf. Quine W.V.O. Three Grades of Modal Involvement reprinted in W. V. O. Quine, op. cit.
- Sobocinski , B. 1952 . Axiomatization of a partial system of three-value calculus . The Journal of Computing Systems , 1 : 23 – 55 . The system is called RM 3 since it turns out to be the 3-valued version of the Dunn-McCall system RM.
- Dunn , J.M. 1970 . Algebraic Completeness results for R-mingle and its extensions . Journal of Symbolic Logic , 35 : 1 – 13 . This is a particularly elegant and comprehensive paper. Cf. also Z. Parks: ‘A note on R-mingle and Sobocinski's three-valued logic’, Notre Dame Journal of Formal Logic, to appear.
- Cf. Routley R. Routley V. Semantics of first-degree entailment Nous 1972 6 335 359
- Cf. my dissertation U. of Pittsburgh 1966 99f 99f
- Famously, in Lewis Langford Symbolic Logic 1932 especially Chapter VIII
Australasian Journal of Philosophy
Volume 52, 1974 - Issue 3