implicational language universals.    From Wordnet, Princeton University. 

Noun : to resent an implication of dishonesty. ,His implication of immediate changes surprised us. ,to know only by implication. ,the implication of his accomplices. ,We heard of his implication in a conspiracy. ,the religious implications of ancient astrology.    From Dictionary.com. 

This article discusses related contextual and implicational issues.    From Wordnik.com.  [Canada, Kyoto, and the conservatives] Reference

M has no type, because an implicational formula is never identical to its own antecedent.    From Wordnik.com.  [Combinatory Logic] Reference

The above correspondence can be modified for other implicational logics and combinatory bases.    From Wordnik.com.  [Combinatory Logic] Reference

I cut this short, because I'm relying on the implicational thinking abilities of fellow commenters here.    From Wordnik.com.  [You've gone to the best schools, gotten the best grades, now why can't you get a good job being a good person for a good salary?] Reference

A combinator that inhabits an implicational theorem encodes a proof of that theorem in the deduction system TACL.    From Wordnik.com.  [Combinatory Logic] Reference

The correspondence between implicational theorems of intuitionistic logic (and their proofs) and typable closed λ-terms.    From Wordnik.com.  [Combinatory Logic] Reference

The theorem is the typed equivalent of the decidability of the implicational fragment of the logic of relevant implication.    From Wordnik.com.  [Combinatory Logic] Reference

(When implicational formulas are considered as types, the usual convention is to omit parentheses by association to the right.).    From Wordnik.com.  [Combinatory Logic] Reference

This theorem amounts to the typed version of the decidability of the implicational fragment of intuitionistic logic that is part of.    From Wordnik.com.  [Combinatory Logic] Reference

Condensed detachment has been used extensively to refine axiomatizations of various implicational logics, especially, in search for shorter and fewer axioms.    From Wordnik.com.  [Combinatory Logic] Reference

In other words, the implicational fragments of classical and intuitionistic logics, and the implicational fragments of the relevance logics R, E and T are all.    From Wordnik.com.  [Combinatory Logic] Reference

First, a correspondence between formulas that are provable in the implicational fragment of intuitionistic logic and the typable combinatory terms was discovered.    From Wordnik.com.  [Combinatory Logic] Reference

Iran take a time-out from its enrichment activities, the international community takes time-out from implicational sanction; go immediately to the negotiating table.    From Wordnik.com.  [CNN Transcript Jan 27, 2007] Reference

The next theorem lists correspondences that obtain between the implicational fragments of the relevance logics R and T and some combinatory bases that are of interest in themselves.    From Wordnik.com.  [Combinatory Logic] Reference

Then the isomorphism was generalized to other combinatory bases and implicational logics (such as the logic of relevant implication, exponential-free linear logic, affine logic, etc.).    From Wordnik.com.  [Combinatory Logic] Reference

The lack of the retention of all subformulas of premises through applications of modus ponens is the culprit behind the difficulty of some of the decision problems of implicational logics.    From Wordnik.com.  [Combinatory Logic] Reference

Indeed, if A is an implicational formula, then to decide whether A is a theorem amounts to determining if there is a term (over the base that corresponds to the axiom schemas) that can be assigned A as its type.    From Wordnik.com.  [Combinatory Logic] Reference

I already see the two implicational poles of this with the digital reproduction and distribution of music — old music ceases to gain an advantage from the imprimatur of age, but also ceases to suffer in comparison with music of greater chronological novelty.    From Wordnik.com.  [We should be on by now] Reference

Additionally, a lot of the UG boils down to things like implicational universals which have been statistically tested more rigorously than most scientific theories.    From Wordnik.com.  [Conservapedia - Recent changes [en]]

I already see the two implicational poles of this with the digital reproduction and distribution of music-old music ceases to gain an advantage from the imprimatur of age, but also ceases to suffer in comparison with music of greater chronological novelty.    From Wordnik.com.  [Soho the Dog] Reference

R†’ was proven by Kripke in 1959 together with the decidability of the closely related E†’ (the implicational fragment of the logic of entailment).    From Wordnik.com.  [Combinatory Logic] Reference

There is no 1 “ 1 correspondence between types and combinators in either style of typing: not all combinators can be assigned a type, and some implicational formulas cannot be assigned to any combinatory term.    From Wordnik.com.  [Combinatory Logic] Reference

J†’, the intuitionistic implicational logic iff.    From Wordnik.com.  [Combinatory Logic] Reference