implicationaladj.

1881 H. MacColl in London, Edinb. & Dublin Philos. Mag. 11 40 (title) Implicational and equational logic.

1881 J. Venn Symbolic Logic xviii. 377 In this case the implicational mode of expression certainly tells its tale more simply and obviously.

1906 B. Russell in Amer. Jrnl. Math. 28 198 Thus both p and not-p may be replaced, in implicational formulae, by equivalences.

a1943 R. G. Collingwood Idea of Hist. (1946) 262 This implicational relation is a compulsive one.

1951 J. Łukasiewicz Aristotle's Syllogistic 22 It is always easy to deduce from an implicational thesis the corresponding rule of inference.

1955 A. N. Prior Formal Logic 49 Łukasiewicz has shown that a single axiom for the ‘implicational calculus’ must contain at least 13 letters.

1964 Language 40 264 Most of his universals are ‘implicational’, of the type ‘if a language has a category of gender, it always has a category of number’.

1970 Language 46 551 These studies reveal that socially significant linguistic features occur in an implicational series such that the presence of some feature A in the speech of a certain individual means that the speaker will also be found to use features B, C, and D.

1970 Language 46 552 Since implicational analysis requires binary decisions..how can such..decisions be made?

1971 Newslet. Amer. Dial. Soc. Feb. 16 Implicational analysis..‘attempts not to describe a set of speech acts but to model the idealized competence of the persons involved in those speech acts’.

1972 Computer Jrnl. 15 292/2 One can define the set of all strings which are proofs in implicational calculus.

1922 W. E. Johnson Logic II. v. 108 Such a trio of equations are taken to be implicationally independent of one another.

1964 Current Res. & Devel. Sci. Documentation XIII. 220 Extensive investigations are also being carried out on procedures of proof in implicationally ordered formal systems.