… So we propose as a necessary (but not sufficient) condition for the relevance of A to B in
the pure theory of entailment, that A and B must share a variable. If this property fails, then …

… The system I like is the Anderson-Belnap calculus R of relevant … But my second favorite
system is my own pure calculus I of … To clinch the superiority of the pure calculus of irrelevance, …

… that a pure entailment proposition which determines the logical meaning of the proposition
that R … It might well have its roots in the propositional calculus of Principia Mathematica and in …

… as true at a theory iff they belong to the theory. This method would provide in particular a
semantical completeness result for the pure calculus E, of entailment developed in [3], since as …

… for the system R of relevant implication and the system NR … The latter suffices for a theory
of entailment as well, though we left the question open in [2] whether that theory is precisely the …

… IN The Pure Calculus of Entailment' we offered a formal theory concern the relation between
… evidently we may ascertain the truth of the entailment without coming to know the truth of …

… Entailment being the key notion which it is our business here to explicate, a word about the
role which … We turn now to the development of a calculus of intensional R-theories. Let 2 be …

… But by that criterion Nelson's denial rules out all the entailments we … is just the fact that the
premise expresses what the conclusion does plus (perhaps) a bit more. In such cases as the …

… Also I indicate a mistake in Quine’s “number 9” reasoning, and I present how to introduce
the natural implication to the propositional calculus without use of any modal operators. …

… restrictive conditions on the semantics of entailment, as done, … on the type of formula which
can enter into an entailment … But if we identify S with the propositional calculus (PC) then, …